摘要: A graphical model of interactive systems called bigraphs is introduced, resting on the orthogonal treatment connectivity and locality. The will be shown to underlie several calculi for mobile systems, in particular π-calculus ambient calculus. Its core behavioural theory outlined.
springer.com
ed.ac.uk
sci-hub.st 参考文章(18)
C. A. Petri, Fundamentals of a Theory of Asynchronous Information Flow. ifip congress. pp. 386- 390 ,(1962)
James J. Leifer, Robin Milner, Deriving Bisimulation Congruences for Reactive Systems international conference on concurrency theory. pp. 243- 258 ,(2000) , 10.1007/3-540-44618-4_19
Grzegorz Rozenberg, Handbook of graph grammars and computing by graph transformation: volume I. foundations World Scientific Publishing Co., Inc.. ,(1997) , 10.1142/3303
James J. Leifer, Robin Milner, Gian Luca Cattani, Contexts and embeddings for closed shallow action graphs ,(2000)
Benjamin C. Pierce, David N. Turner, Pict: a programming language based on the Pi-Calculus Proof, language, and interaction. pp. 455- 494 ,(2000)
J. Parrow, B. Victor, The fusion calculus: expressiveness and symmetry in mobile processes logic in computer science. pp. 176- 185 ,(1998) , 10.1109/LICS.1998.705654
Martín Abadi, Andrew D. Gordon, A calculus for cryptographic protocols: the spi calculus computer and communications security. pp. 36- 47 ,(1997) , 10.1145/266420.266432
Robin Milner, Joachim Parrow, David Walker, A Calculus of Mobile Processes - Part II Information & Computation. ,vol. 100, pp. 41- 77 ,(1992) , 10.1016/0890-5401(92)90009-5
Robin Milner, Flowgraphs and Flow Algebras Journal of the ACM. ,vol. 26, pp. 794- 818 ,(1979) , 10.1145/322154.322167
Cédric Fournet, Georges Gonthier, The reflexive CHAM and the join-calculus symposium on principles of programming languages. pp. 372- 385 ,(1996) , 10.1145/237721.237805