Robin Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25:267--310, 1983. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Efficiently Modelling Resource in a Process Algebra - Tofts (2003) Self-citation (Synchrony) (Correct)
No context found.
R. Milner, Calculi for Synchrony and Asynchrony, Theoretical Computer Science 25(3), pp 267-310, 1983.
Fast Graph Generation for Synchronous Processes - Tofts (2002) Self-citation (Milner) (Correct)
No context found.
R. Milner, Calculi for Synchrony and Asynchrony, Theoretical Computer Science 25(3), pp 267-310, 1983.
Design Rules and Abstractions - From Branching And (Correct)
No context found.
Robin Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25:267--310, 1983.
Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000) (4 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. Theoretical Computer Science, 114(1):149171, 1993.
Electronic Notes in Theoretical Computer Science 7 (1997) - Url Http Www (Correct)
No context found.
R. Milner: Calculi for Synchrony and Asynchrony, Theoretical Computer Science, Vol. 25, pp 269-310, 1983.
Weak Bisimulation for Fully Probabilistic - Processes Christel Baier (Correct)
No context found.
R. Milner: Calculi for Synchrony and Asynchrony. Theoretical Computer Science, Vol. 25, pp 269-310, 1983.
Compositional Reasoning for Probabilistic Finite-State.. - Deng, Palamidessi, Pang (Correct)
No context found.
R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25:267--310, 1983.
Universita degli Studi di Pisa - Facolta Di Scienze (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. Theoretical Computer Science, 114(1):149--171, 1993. http://citeseer. ist.psu.edu/milner93modal.html.
Under consideration for publication in Math. Struct. in.. - Domain Equations For (Correct)
No context found.
R. Milner: Calculi for Synchrony and Asynchrony, Theoretical Computer Science, Vol. 25, pp 269-310, 1983.
A Naïve Time Analysis and its Theory of Cost Equivalence - Sands (1995) (Correct)
No context found.
R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25, 267--310, 1983.
A Modal Logic for Mobile Agents - De Nicola, Loreti (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. Theoretical Computer Science, 114:149--171, 1993.
The Esterel v5 Language Primer - Version v5_91 - Berry (2000) (5 citations) (Correct)
No context found.
R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25(3), 1983.
History Dependent Automata - Montanari, Pistore (2001) (3 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. Modal logic for mobile processes. Theoretical Computer Science, 114(1):149--171, 1993.
Comparing Refinements for Failure and Bisimulation Semantics - Eshuis, Fokkinga (2001) (Correct)
No context found.
R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25(3):267-- 310, July 1983.
Resources Negotiation in Systems of Mobile Components - Ferrari, Tuosto (2004) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. Modal Logics for mobile processes. Theoretical Computer Science, 114:149--171, 1993.
Probabilistic Automata: System Types, Parallel Composition.. - Sokolova, de Vink (Correct)
No context found.
R. Milner, Calculi for synchrony and asynchrony, Theoretical Computer Science 25 (1983), 267--310.
On Bisimulations for the Spi Calculus - Johannes Borgstrom Epfl (2002) (4 citations) (Correct)
No context found.
Robin Milner, Joachim Parrow, and David Walker. Modal logics for mobile processes. Theoretical Computer Science, 114:149--171, 1993.
Metric Semantics for Reactive Probabilistic Processes - Norman (1997) (7 citations) (Correct)
No context found.
R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25(3):267-310, 1983.
Encoding Generic Judgments - Dale Miller Computer (2001) (3 citations) (Correct)
No context found.
Robin Milner, Joachim Parrow, and David Walker. Modal logics for mobile processes. Theoretical Computer Science, 114(1):149--171, 1993.
Behavioral and Spatial Observations in a Logic for the.. - Caires (2004) (4 citations) (Correct)
No context found.
R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. Theoretical Computer Science, 114:149--171, 1993.
Equational Logic of Polynomial Coalgebras - Goldblatt (2003) (Correct)
No context found.
Robin Milner, Joachim Parrow, and David Walker. Modal logics for mobile processes. Theoretical Computer Science, 114:149-171, 1993.
Equational Logic of Polynomial Coalgebras - Goldblatt (2003) (Correct)
No context found.
Robin Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25:267-310, 1983.
The Esterel v5 Language Primer - Version v5_91 - Berry (2000) (5 citations) (Correct)
No context found.
R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25(3), 1983.
A Randomized Encoding of the π-Calculus with Mixed Choice - Palamidessi, Herescu (2001) (Correct)
No context found.
Robin Milner, Joachim Parrow, and David Walker. Modal logics for mobile processes. Theoretical Computer Science, 114(1):149--171, 1993.
Introduo ao -calculus Modal - Mtodos De Programao (Correct)
No context found.
A. J. R. G. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, (25):794818, 1983.
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