Milner, R. (2001b), Bigraphical reactive systems. Proc. 12th International Conference on Concurrency Theory, Lecture Notes in Computer Science 2154, 16--35. Springer Verlag. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Partial Order Reductions Preserving - Simulations Rob Gerth Self-citation (Systems) (Correct)
No context found.
R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer-Verlag, 1980.
An Axiomatic Semantics of Concurrent Programming Languages - Lamport (1984) (4 citations) Self-citation (Systems) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, Number 92. Springer-Verlag, Berlin (1980). 62
An Algebraic Approach to Fault Tolerant Distributed Computing - Fuzzati (2004) Self-citation (Systems) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, Vol92, Springer-Verlag, 1980. 8
Modeling Component Connectors in Reo by Constraint Automata - Arbab, Baier, Rutten.. (2003) Self-citation (Systems) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, Vol. 92, 1980.
Behavioral Verification of Distributed Concurrent Systems with.. - Goguen, Lin Self-citation (Systems) (Correct)
No context found.
Robin Milner. A Calculus of Communicating Systems. Springer, 1980. Lecture Notes in Computer Science, Volume 92.
Under consideration for publication in Math. Struct. in.. - Axioms For Bigraphical (Correct)
No context found.
Milner, R. (2001b), Bigraphical reactive systems. Proc. 12th International Conference on Concurrency Theory, Lecture Notes in Computer Science 2154, 16--35. Springer Verlag.
Universita degli Studi di Pisa - Facolta Di Scienze (Correct)
No context found.
R. Milner. A calculus of communicating systems. Lecture Notes in Computer Science, 92, 1980.
Three Approaches to Congruence - Paul-Andr'e Melli Es (1997) (Correct)
No context found.
Robin Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer Verlag, 1980.
Partial Order Reductions Preserving Simulations - Wojciech Penczek Ics (1999) (Correct)
No context found.
R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer-Verlag, 1980.
Composing Specifications - Abadi, Lamport (1993) (105 citations) (Correct)
No context found.
Milner, R. A Calculus of Communicating Systems, vol. 92 of Lecture Notes in Computer Science. Springer-Verlag, New York, 1980.
What It Means for a Concurrent Program to Satisfy a.. - Lamport (1984) (4 citations) (Correct)
No context found.
Robin Milner. A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer-Verlag (1980).
A Partial Order Approach to Branching Time Logic Model.. - Gerth, Kuiper, Peled.. (1997) (18 citations) (Correct)
No context found.
R. Milner, A Calculus of Communicating Systems, Lecture Notes in Computer Science 92, Springer-Verlag, 1980.
Almost ASAP Semantics: From Timed Models to Timed Implementations - De Wulf, al. (2003) (1 citation) (Correct)
No context found.
R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science 92. Springer-Verlag, 1980.
Pattern and Approximate-Pattern Matching for Program Compaction - Johnson, Mycroft (Correct)
No context found.
Milner, R. A Calculus of Communicating Systems, vol. 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
Efficient Analysis of Infinite CSP_Z Specifications - Farias, Mota, Sampaio (Correct)
No context found.
Milner, R.: Calculus of Communicating Systems. Lecture Notes in Computer Science, vol 92, Springer, Berlin, 1980
Object Oriented Analysis According To M.e.r.o.de. - Tutorial Presented At (Correct)
No context found.
Milner R., A calculus of communicating systems (Springer Berlin, Lecture Notes in Computer Science, 1980).
A Layered Software Specification Architecture - Snoeck, Poelmans, Dedene (2000) (1 citation) (Correct)
No context found.
Milner, R., A calculus of communicating systems, Springer Berlin, Lecture Notes in Computer Science, 1980.
Formal Deadlock Elimination In An Object Oriented Conceptual.. - Published In Data (Correct)
No context found.
R. Milner, A calculus of communicating systems (Springer Berlin, Lecture Notes in Computer Science, 1980).
The Object-Event Table: - Useful Technique In (Correct)
No context found.
Milner R., A calculus of communicating systems (Springer Berlin, Lecture Notes in Computer Science, 1980).
Taming Heterogeneity - The Ptolemy Approach - Eker, Janneck, Lee, Liu, Liu.. (2003) (9 citations) (Correct)
No context found.
R. Milner, Lecture Notes in Computer Science, A Calculus for Communicating Systems. Heidelberg, Germany: Springer-Verlag, 1980, vol. 92.
Verification of the WAP Transaction Layer - Using The Model (Correct)
No context found.
R. Milner. A Calculus of Communication Systems. Lecture Notes in Computer Science, Vol. 92. Springer-Verlag, 1977.
A Hierarchy of Equivalences for Asynchronous Calculi - Fournet, Gonthier (2003) (16 citations) (Correct)
No context found.
Robin Milner. A Calculus of Communicating Systems, volume 92. Springer-Verlag, 1980. Lecture Notes in Computer Science.
Generalization/specialization Androle In Object - Oriented Conceptual Modeling (Correct)
No context found.
R. Milner, A calculus of communicating systems (Springer Berlin, Lecture Notes in Computer Science, 1980).
Complete Behavioural Testing of Object-Oriented Systems Using.. - Stannett, al. (2002) (Correct)
No context found.
Milner, R.: A Calculus of Communicating Systems. Lecture Notes in Computer Science, Vol. 92, Springer-Verlag, 1980.
Improving the Reuse Possibilities of the Behavioral Aspects of .. - Snoeck, Poels (2000) (Correct)
No context found.
Milner R.: A calculus of communicating systems. Springer Berlin, Lecture Notes in Computer Science (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