Milner R., A Calculus of Communicating Systems, Lect. Notes in Computer Science vol.94, Springer-Verlag, 1980. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - Eugene Eberbach Comp (Correct)
No context found.
Milner R., A Calculus of Communicating Systems, Lect. Notes in Computer Science vol.94, Springer-Verlag, 1980.
Fundamenta Informaticae 68 (2005) 47--102 47 IOS Press - Calculus Of Bounded (Correct)
No context found.
Milner R., A Calculus of Communicating Systems, Lect. Notes in Computer Science vol.94, Springer-Verlag, 1980.
New Models of Computation - Peter Wegner Dept (Correct)
No context found.
Milner, R. (1980), A Calculus of Communicating Systems, LNCS 94, Springer-Verlag, Berlin, Heidelberg, New York.
On the Relationships between Notions of.. - Datta, Küsters.. (2006) (1 citation) (Correct)
No context found.
Robin Milner. A Calculus of Communicating Systems. Springer, 1980.
Structured Modeling of Concurrent Stochastic Hybrid Systems - Bernadsky, Sharykin, Alur (2004) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. LNCS 92. Springer, 1980.
A Study of Objects - Hankin (1999) (Correct)
No context found.
Milner, R. (1980). A Calculus of Communicating Systems, Volume 92 of Lecture Notes in Computer Science. Springer-Verlag.
Verification of Safety Properties for Concurrent Assembly Code - Dachuan Yu And (2004) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. Springer-Verlag New York, Inc., 1982.
JACK: A process algebra implementation in Java - Freitas (2002) (Correct)
No context found.
R. Milner. A Calculus for Communicating Systems. LNCS 92, 1980.
A Logic-Based Concurrent Object-Oriented - Programming Language Rafael (Correct)
No context found.
Milner, R. 1980. A Calculus of Communicating Systems. LNCS, Vol. 92.
Safety and Liveness in Concurrent Pointer Programs - Distefano, Katoen, Rensink (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. LNCS 92, Springer, 1980.
Modular Verification of Concurrent Assembly Code with Dynamic.. - Feng, Shao (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. Springer-Verlag New York, Inc., 1982.
A Conversation-oriented language for B2B integration based.. - Gomez, Haller, al. (2005) (Correct)
No context found.
R. Milner. A Calculus of communicating systems. Springer-Verlag, Springer-Verlag. Berlin, 1980.
Security Policies as Membranes in Systems for Global.. - Gorla, Hennessy, Sassone (2004) (Correct)
No context found.
R. Milner. A Calculus for Communicating Systems. Springer-Verlag New York Inc., 1982.
Open Ended Systems, Dynamic Bisimulation and Tile Logic - Bruni, Montanari, Sassone (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems, vol. 92 of LNCS Springer, 1980.
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (Correct)
No context found.
R. Milner, A Calculus of Communicating Systems, Vol. 92 of Lect. Notes in Comput. Sci., Springer Verlag, 1980.
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
No context found.
R. Milner. A calculus of communicating systems. LNCS, 92, 1980.
Models of Computation in the Design Process - Jantsch, Sander (2005) (Correct)
No context found.
R. Milner. A calculus of communicating systems. LNCS, 92, 1980.
Replication in Concurrent Combinators - Honda, Yoshida (1994) (9 citations) (Correct)
No context found.
Milner, R., A Calculus of Communicating Systems, LNCS 76, Springer Verlag, 1980.
Security Policies as Membranes in Systems for Global Computing - Gorla, al. (2004) (Correct)
No context found.
R. Milner. A Calculus for Communicating Systems. Springer-Verlag, 1982.
Towards a Mathematical Operational Semantics - Turi, Plotkin (1997) (53 citations) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer-Verlag, 1980.
Erroneous Architecture Is A Relative Concept - Adamek, Plasil (2004) (32 citations) (Correct)
No context found.
R. Milner, A Calculus of Communicating Systems (LNCS, Springer-Verlag., 1992)
Propositional Temporal Logics and - Equivalences Ursula Goltz (Correct)
No context found.
: Milner R., A Calculus for Communicating Systems, LNCS 92, 1980.
Noninterference for Concurrent Programs and Thread Systems - Boudol, Castellani (2001) (10 citations) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer-Verlag, 1980.
The Origins of Structural Operational Semantics - Plotkin (2003) (1 citation) (Correct)
No context found.
Robin Milner, A Calculus of Communicating Systems, LNCS, Vol. 93, Berlin: Springer-Verlag, 1980.
On Interprocess Communication - Lamport (1985) (66 citations) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. Springer-Verlag, Berlin, 1980. 49
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