Searching for authors named "Franck van Breugel" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
A Labelled Transition System for pi epsilon-Calculus
- … System for pi epsilon-Calculus Franck van Breugel September 09, 1997 ADDR: Corso Italia 40,56125 Pisa…
- Add To MetaCart
-
From Branching to Linear Metric Domains (and back)
- …From Branching to Linear Metric Domains (and back) Franck van Breugel y McGill University…
- Cited by 3 (1 self) – Add To MetaCart
-
A Theory of Metric Labelled Transition Systems
- …A Theory of Metric Labelled Transition Systems Franck van Breugel McGill University School…
- Cited by 1 (0 self) – Add To MetaCart
-
Three Metric Domains of Processes for Bisimulation
- … for Bisimulation Franck van Breugel Computer Science/Department of Software Technology CS-R9335 1993 1 Three…
- Cited by 5 (2 self) – Add To MetaCart
-
Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs
- … and Predicate Transformer Semantics for Parallel Programs Franck van Breugel Computer Science…
- Cited by 3 (0 self) – Add To MetaCart
-
Comparative Semantics for a Real-Time Programming Language with Integration
- …Comparative Semantics for a Real-Time Programming Language with Integration 1 Franck van Breugel…
- Cited by 2 (1 self) – Add To MetaCart
-
Generalizing Finiteness Conditions of Labelled Transition Systems
- … Generalizing Finiteness Conditions of Labelled Transition Systems Franck van Breugel CWI P.O. Box 94079, 1090…
- Cited by 2 (1 self) – Add To MetaCart
-
Terminal Metric Spaces of Finitely Branching and Image Finite Linear processes
- … Spaces of Finitely Branching and Image Finite Linear processes Franck van Breugel September 09, 1997…
- Cited by 2 (0 self) – Add To MetaCart
-
De Bakker-Zucker Processes Revisited
- …De Bakker-Zucker Processes Revisited Franck van Breugel Technical Report CS-1999-05 November 9…
- Cited by 1 (0 self) – Add To MetaCart
-
Mobility and Modularity: expressing pi-calculus in CCS (Extended Abstract)
- … banach@(email omitted); Franck van Breugel y McGill University, School of Computer Science 3480 University…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
