484 citations found. Retrieving documents...
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