Breugel, Franck van 1966-
Breugel, Franck van
Breugel, F. van (Franciscus Cornelus)
Breugel, F. van (Franciscus van), 1966-
VIAF ID: 118356911 ( Personal )
Permalink: http://viaf.org/viaf/118356911
Preferred Forms
-
-
- 100 1 _ ‡a Breugel, Franck van
- 100 1 _ ‡a Breugel, Franck van
-
-
-
-
- 100 1 _ ‡a Breugel, Franck van, ‡d 1966-
- 100 1 0 ‡a Breugel, Franck van, ‡d 1966-
- 100 1 _ ‡a Breugel, Franck van ‡d 1966-
4xx's: Alternate Name Forms (18)
Works
Title | Sources |
---|---|
Comparative metric semantics of programming languages : nondeterminism and recursion | |
CONCUR 2008 : concurrency theory : 19th international conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008 : proceedings | |
Generalized metric spaces, 1996. | |
Generalizing finiteness conditions of labelled transition systems | |
Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday | |
Mathematical techniques for analyzing concurrent and probabilistic systems | |
Relating state transformation semantics and predicate transformer semantics for parallel programs | |
Semantic models for a language with timed atomic actions | |
Solving domain equations in a category of compact metric spaces | |
Three metric domains of processes for bisimulation | |
Topological models for higher order control flow | |
Topological models in comparative semantics |