Robin Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25:267--310, 1983. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Design Rules and Abstractions - From Branching And (Correct)
Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000) (4 citations) (Correct)
Electronic Notes in Theoretical Computer Science 7 (1997) - Url Http Www (Correct)
Weak Bisimulation for Fully Probabilistic - Processes Christel Baier (Correct)
Compositional Reasoning for Probabilistic Finite-State.. - Deng, Palamidessi, Pang (Correct)
Universita degli Studi di Pisa - Facolta Di Scienze (Correct)
Under consideration for publication in Math. Struct. in.. - Domain Equations For (Correct)
A Naïve Time Analysis and its Theory of Cost Equivalence - Sands (1995) (Correct)
A Modal Logic for Mobile Agents - De Nicola, Loreti (Correct)
The Esterel v5 Language Primer - Version v5_91 - Berry (2000) (5 citations) (Correct)
History Dependent Automata - Montanari, Pistore (2001) (3 citations) (Correct)
Comparing Refinements for Failure and Bisimulation Semantics - Eshuis, Fokkinga (2001) (Correct)
Resources Negotiation in Systems of Mobile Components - Ferrari, Tuosto (2004) (Correct)
Probabilistic Automata: System Types, Parallel Composition.. - Sokolova, de Vink (Correct)
On Bisimulations for the Spi Calculus - Johannes Borgstrom Epfl (2002) (4 citations) (Correct)
Metric Semantics for Reactive Probabilistic Processes - Norman (1997) (7 citations) (Correct)
Encoding Generic Judgments - Dale Miller Computer (2001) (3 citations) (Correct)
Behavioral and Spatial Observations in a Logic for the.. - Caires (2004) (4 citations) (Correct)
Equational Logic of Polynomial Coalgebras - Goldblatt (2003) (Correct)
Equational Logic of Polynomial Coalgebras - Goldblatt (2003) (Correct)
The Esterel v5 Language Primer - Version v5_91 - Berry (2000) (5 citations) (Correct)
A Randomized Encoding of the π-Calculus with Mixed Choice - Palamidessi, Herescu (2001) (Correct)
Introduo ao -calculus Modal - Mtodos De Programao (Correct)
Efficiently Modelling Resource in a Process Algebra - Tofts (2003) Self-citation (Synchrony) (Correct)
Fast Graph Generation for Synchronous Processes - Tofts (2002) Self-citation (Milner) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC