Jensen, O.H. and Milner, R. (2004), Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge Computer Laboratory. Available from http: //www.cl.cam.ac.uk/users/rm135. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
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. (2004), Bigraphs and mobile processes (revised). Technical Report 580, University of Cambridge Computer Laboratory. Available from http://www.cl.cam.ac.uk/users/rm135.
Technical Report - Number Computer Laboratory (1993) (2 citations) Self-citation (Milner) (Correct)
No context found.
Jensen, O.H. and Milner, R. (2004), Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge Computer Laboratory.
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 mobile processes. Technical Report UCAM-CL-TR-570, University of Cambridge Computer Laboratory.
Under consideration for publication in Math. Struct. in.. - Axioms For Bigraphical (Correct)
No context found.
Jensen, O.H. and Milner, R. (2004), Bigraphs and mobile processes (revised). Technical Report UCAM-CL-TR-580, University of Cambridge Computer Laboratory. Available from http: //www.cl.cam.ac.uk/users/rm135.
Congruences for Contextual Graph-Rewriting - Sassone, Sobocinski (2004) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and mobile processes. Technical Report 570, Computer Laboratory, University of Cambridge, 2003.
Locating Reaction with 2-categories - Vladimiro Sassone Pawel (2005) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and mobile processes. Technical Report 570, Computer Laboratory, University of Cambridge, 2003.
Labels From Reductions: Towards a General Theory - Bartek Klin Vladimiro (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and mobile processes. Technical Report 570, University of Cambridge, 2003.
Reactive Systems over Cospans - Sassone, Sobocinski (2005) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and mobile processes. Technical Report 570, University of Cambridge, 2003.
Coinductive Reasoning for Contextual Graph-Rewriting - Sassone, Sobocinski (2004) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and mobile processes. Technical Report 570, Computer Laboratory, University of Cambridge, 2003.
Locating Reaction with 2-categories - Sassone, Sobocinski (2004) (Correct)
No context found.
O. H. Jensen and R. Milner. Bigraphs and mobile processes. Technical Report 570, Computer Laboratory, University of Cambridge, 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