Jensen, O.H. and Milner, R. (2003), Bigraphs and transitions. In 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Requirements for a Global Computing Programming Model - Stefani (2003) (Correct)
....abstractions. To carry this analogy further would require the definition of a semantical framework that would play for candidate operators the role that transition systems play for GSOSdefined operators. As an interesting work in this direction, we can mention Milner s bigraphical reactive systems [24]. 4 2.2 Supporting system programming Description A global computing programming model should provide a model for low level system and network programming as well as a model for programming higherlevel distributed applications. Rationale Programming a distributed system can be done at ....
O. Jensen and R. Milner. Bigraphs and Transitions. In Proceedings 30th Annual ACM Symposium on Principles of Programming Languages (POPL), 2003.
Bigraphs for Petri nets - Milner (2004) (7 citations) Self-citation (Milner) (Correct)
No context found.
Jensen, O.-H. and Milner, R., Bigraphs and transitions. In Proc. 30th SIGPLANSIGACT Symposium on Principles of Programming Languages (2003).
Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (2 citations) Self-citation (Milner) (Correct)
No context found.
Jensen, O.H. and Milner, R. (2003), Bigraphs and transitions. In 30th SIGPLANSIGACT Symposium on Principles of Programming Languages.
Bigraphs and Mobile Processes - Jensen, Milner (2003) (7 citations) Self-citation (Jensen Milner) (Correct)
No context found.
Jensen, O.H. and Milner, R. (2003), Bigraphs and transitions. In 30th SIGPLANSIGACT Symposium on Principles of Programming Languages.
Bigraphs for Petri nets - Milner (2004) (7 citations) Self-citation (Milner) (Correct)
No context found.
Jensen, O.-H. and Milner, R., Bigraphs and transitions. In Proc. 30th SIGPLANSIGACT Symposium on Principles of Programming Languages (2003).
Technical Report - Number Computer Laboratory (1993) (2 citations) Self-citation (Milner) (Correct)
No context found.
Jensen, O.H. and Milner, R. (2003), Bigraphs and transitions. In 30th SIGPLANSIGACT Symposium on Principles of Programming Languages.
Bigraphs and Mobile Processes - Jensen, Milner (2004) (7 citations) Self-citation (Jensen Milner) (Correct)
No context found.
Jensen, O.H. and Milner, R. (2003), Bigraphs and transitions. In 30th SIGPLANSIGACT Symposium on Principles of Programming Languages.
Under consideration for publication in Math. Struct. in.. - Axioms For Bigraphical (Correct)
No context found.
Jensen, O.H. and Milner, R. (2003), Bigraphs and transitions. In 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
Bigraphical Logics for XML - Giovanni Conforti Universit (2005) (1 citation) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and transitions. In Proc. of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 38--49. ACM Press, 2003.
Bigraphical Models of Context-aware Systems - Birkedal Debois Elsborg (2005) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and Transitions. In Proc. of POPL'03, 2003.
Bigraphical Models of Context-aware Systems - Birkedal, Debois, Elsborg.. (2005) (Correct)
No context found.
Ole Hgh Jensen and Robin Milner. Bigraphs and Transitions. In Proceedings of POPL'03, pages 38--49. ACM Press, 2003. ISBN 1-58113-628-5.
Bigraphical Semantics of Higher-Order Mobile Embedded - Resources With Local (2005) (Correct)
No context found.
Ole Hgh Jensen and Robin Milner. Bigraphs and transitions. In Proceedings of the 30rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL'03), pages 38--49. ACM Press, 2003.
Bigraphical Semantics Of Higher-Order Mobile Embedded.. - Bundgaard, Hildebrandt (2006) (Correct)
No context found.
Jensen, O. H. and R. Milner, Bigraphs and transitions, in: Proceedings of the 30rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL'03) (2003), pp. 38--49.
Congruences for Contextual Graph-Rewriting - Sassone, Sobocinski (2004) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and transitions. In Principles of Programming Languages, POPL '03. ACM Press, 2003.
Locating Reaction with 2-categories - Vladimiro Sassone Pawel (2005) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and transitions. In Principles of Programming Languages, POPL `03. ACM Press, 2003.
Deriving Bisimulation Congruences: 2-categories vs.. - Vladimiro Sassone Pawel (2003) (3 citations) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and transitions. In Principles of Programming Languages, POPL 03, 2003. To appear.
Bigraphical Logics for XML - Giovanni Conforti Universit (2005) (1 citation) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and transitions. In Proc. of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 38--49. ACM Press, 2003.
Deriving Bisimulation Congruences: 2-categories vs.. - Sassone, Sobocinski (2003) (3 citations) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and transitions. In Principles of Programming Languages, POPL 03, 2003. To appear.
Deriving Bisimulation Congruences in the DPO Approach to Graph .. - Ehrig, König (2004) (6 citations) (Correct)
No context found.
Ole H gh Jensen and Robin Milner. Bigraphs and transitions. In Proc. of POPL 2003, pages 38-49. ACM, 2003.
Locating Reaction with 2-categories - Sassone, Sobocinski (2004) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and transitions. In Principles of Programming Languages, POPL `03. ACM Press, 2003.
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