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
Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (2 citations) Self-citation (Milner) (Correct)
No context found.
Milner, R. (1980) A Calculus of Communicating Systems. LNCS 92, Springer Verlag.
Fast Graph Generation for Synchronous Processes - Tofts (2002) Self-citation (Milner) (Correct)
No context found.
R. Milner, Calculus of Communicating System, LNCS92, 1980.
Bigraphs and Mobile Processes - Jensen, Milner (2003) (7 citations) Self-citation (Milner) (Correct)
No context found.
Milner, R. (1980) A Calculus of Communicating Systems. LNCS 92, Springer Verlag.
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
Concurrency Vs. Sequential Interleavings In 1-D Threshold.. - Tosic, Agha (Correct)
No context found.
Robin Milner, "A Calculus of Communicating Systems", Lecture Notes in CS, 1980
Concurrency vs. Sequential Interleavings in 1-D Threshold.. - Tosic, Agha (Correct)
No context found.
R. Milner, "A Calculus of Communicating Systems", Lecture Notes Comp. Sci., Springer, Berlin, 1989
A Probabilistic Polynomial-Time Calculus for the.. - Mitchell.. (2002) (12 citations) (Correct)
No context found.
Milner, R. A Calculus of Communicating Systems. Springer, 1980.
True Concurrency vs. Nondeterministic Sequential Interleavings.. - Tosic, Agha (Correct)
No context found.
Milner, R. (1980) "A Calculus of Communicating Systems", Lecture Notes in CS
Bisimulation by Unification - Baldan, Bracciali, Bruni (2002) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems, LNCS 92. Springer, 1980.
Efficiently Modelling Resource in a Process Algebra - Tofts (2003) (Correct)
No context found.
R. Milner, Calculus of Communicating System, LNCS92, 1980.
cl: A Language for Formally Defining Web Services.. - Frølund.. (2003) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. Springer Verlag, 1980. LNCS 92.
Semantics of Name and Value Passing - Fiore, Turi (2001) (7 citations) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer-Verlag, 1980.
Progress with Java threads - As Dining Philosophers (Correct)
No context found.
Milner, R.: A Calculus of Communicating Systems. Springer V. 1980 (LNCS 92).
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (2003) (Correct)
No context found.
R. Milner, A Calculus of Communicating Systems, Vol. 92 of Lect. Notes in Comput. Sci., Springer Verlag, 1980.
A Complete Proof System for Timed Observations - Yolanda Ortega-Mall'en David (1990) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. LNCS 92, Springer Verlag, 1980.
Model-based Automated Analysis for Dependable Interactive Systems - Loer (2003) (1 citation) (Correct)
No context found.
Milner, A. (1980). A Calculus of Communicating Systems. In Lecture Notes in Computer Science, volume 92. Springer-Verlag.
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. SpringerVerlag, LNCS 92, 1980.
Making Web Services that Work - Loughran (2002) (Correct)
No context found.
Robin Milner. A Calculus of Communicating Systems. Springer, 1980.
Verification of SDL Specifications on the Basis of Stream Semantics - Hinkel (Correct)
No context found.
Robin Milner. A Calculus of Communicating Systems. LNCS 92. Springer Verlag, 1980.
Timed I/O Automata: A Mathematical Framework for.. - Kaynar, Lynch.. (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer-Verlag, 1980.
Reasoning About Logic Programs Using Definitions And Induction - Wajs (2002) (2 citations) (Correct)
No context found.
Robin Milner. A Calculus of Communicating Systems, volume 92 of LNCS. SpringerVerlag, New York, NY, 1980.
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. LNCS 92, SpringerVerlag, 1980.
Software Verification for Programmable Logic Controllers - Huuck (2003) (Correct)
No context found.
Robin Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer-Verlag, 1980.
Presheaf Models and Process Calculi - Nygaard (2002) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. LNCS 92, 1980.
Provably Correct Architecture Refinement - Abdi, Gajski (2003) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. Springer, 1980.
Decidability and Complexity Issues for Infinite-State Processes - Srba (2003) (Correct)
No context found.
R. Milner. A calculus of communicating systems. LNCS, 92, 1980.
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