Milner, R., Bigraphical reactive systems, in: K. Larsen and M. Nielsen, editors, Concurrency Theory,Lect.NotesinComp.Sci.2154 (2001), pp. 16--35. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Programming with Logical Links: Design of the LMNtal language.. - Ueda, Kato (2002) (Correct)
....citizens is that it gives us greater expressive power such as the nesting and the mobility of multisets. LMNtal features multiset hierarchies and encapsulation by allowing a multiset of nodes to be a node. Hierarchical multisets can be found in the ambient calculus and the bigraphical model [9], as well as in the fields of formal languages [10] and knowledge representation [5] The major di#erence from those models is in how the structuring and the nesting of nodes are combined. Hierarchization of multisets plays many important roles, for instance in (i) logical management of ....
Milner, R., Bigraphical Reactive Systems. In Proc. CONCUR
Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (2 citations) Self-citation (Milner) (Correct)
No context found.
Milner, R. (2001) Bigraphical reactive systems. Proc. 12th International Conference on Concurrency Theory, LNCS2154, pp16--35.
Bigraphs and Mobile Processes - Jensen, Milner (2003) (7 citations) Self-citation (Milner) (Correct)
No context found.
Milner, R. (2001) Bigraphical reactive systems. Proc. 12th International Conference on Concurrency Theory, LNCS2154, pp16--35. 109
Technical Report - Number Computer Laboratory (1993) (2 citations) Self-citation (Milner) (Correct)
No context found.
Milner, R. (2001) Bigraphical reactive systems. Proc. 12th International Conference on Concurrency Theory, LNCS2154, pp16--35.
Bigraphs and Mobile Processes - Jensen, Milner (2004) (7 citations) Self-citation (Milner) (Correct)
No context found.
Milner, R. (2001) Bigraphical reactive systems. Proc. 12th International Conference on Concurrency Theory, LNCS2154, pp16--35.
Graphical Verification of a Spatial Logic for the π-calculus - Gadducci, Lafuente (2005) (Correct)
No context found.
Milner, R., Bigraphical reactive systems, in: K. Larsen and M. Nielsen, editors, Concurrency Theory,Lect.NotesinComp.Sci.2154 (2001), pp. 16--35.
Labels From Reductions: Towards a General Theory - Bartek Klin Vladimiro (Correct)
No context found.
R. Milner. Bigraphical reactive systems. In International Conference on Concurrency Theory, CONCUR'01, volume 2154 of LNCS, pages 16--35, 2001.
Reactive Systems over Cospans - Sassone, Sobocinski (2005) (Correct)
No context found.
R. Milner. Bigraphical reactive systems. In Concur '01, volume 2154 of LNCS, pages 16--35. Springer, 2001.
Strong Bisimulation for the Explicit Fusion Calculus - Wischik, Gardner (2004) (Correct)
No context found.
R. Milner. Bigraphical reactive systems. In CONCUR 2001, LNCS 2154:16--35. http://www.cl.cam.ac.uk/users/rm135/bigraphs.pdf
Deriving Bisimulation Congruences in the DPO Approach to Graph .. - Ehrig, König (2004) (6 citations) (Correct)
No context found.
Robin Milner. Bigraphical reactive systems. In Proc. of CONCUR '01, pages 16-35. Springer-Verlag, 2001. LNCS 2154.
Model-Based Development of Web Applications Using Graphical.. - Heckel, Lohmann (2003) (2 citations) (Correct)
No context found.
R. Milner. Bigraphical reactive systems. In Kim Guldstrand Larsen and Mogens Nielsen, editors, Proc. 12th Intl. Conference on Concurrency Theory (CONCUR 2002), Aalborg, Denmark, volume 2154 of Lecture Notes in Comp. Science http://www.springer.de/comp/lncs, pages 16--35. Springer-Verlag, August 2001.
LMNtal: a language model with links and membranes - Kazunori Ueda Norio (Correct)
No context found.
Milner, R., Bigraphical Reactive Systems. In Proc. CONCUR
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