Deriving Bisimulation Congruences for Reactive Systems
暂无分享,去创建一个
[1] Jan Friso Groote,et al. Structured Operational Semantics and Bisimulation as a Congruence , 1992, Inf. Comput..
[2] Robin Milner,et al. Barbed Bisimulation , 1992, ICALP.
[3] Ugo Montanari,et al. An Algebra of Graphs and Graph Rewriting , 1991, Category Theory and Computer Science.
[4] Jean-Jacques Lévy,et al. A Calculus of Mobile Agents , 1996, CONCUR.
[5] Gordon D. Plotkin,et al. Towards a mathematical operational semantics , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[6] Rob J. van Glabbeek,et al. The Linear Time - Branching Time Spectrum I , 2001, Handbook of Process Algebra.
[7] Masahito Hasegawa,et al. Models of sharing graphs : a categorical semantics of let and letrec , 1999 .
[8] Rob J. van Glabbeek,et al. The Linear Time - Branching Time Spectrum II , 1993, CONCUR.
[9] Rob J. van Glabbeek,et al. The Linear Time-Branching Time Spectrum (Extended Abstract) , 1990, CONCUR.
[10] Julian Rathke,et al. Towards a theory of bisimulation for local names , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
[11] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[12] Zena M. Ariola,et al. Equational Term Graph Rewriting , 1996, Fundam. Informaticae.
[13] Peter Sewell,et al. From Rewrite to Bisimulation Congruences , 1998, CONCUR.
[14] Luca Cardelli,et al. Mobile Ambients , 1998, FoSSaCS.
[15] Philippa Gardner. Closed Action Calculi , 1999, Theor. Comput. Sci..
[16] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..
[17] Martín Abadi,et al. A calculus for cryptographic protocols: the spi calculus , 1997, CCS '97.
[18] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.
[19] Peter Sewell. Global/Local Subtyping and Capability Inference for a Distributed pi-calculus , 1998, ICALP.
[20] Robin Milner,et al. Functions as processes , 1990, Mathematical Structures in Computer Science.
[21] Glynn Winskel,et al. Bisimulation from Open Maps , 1994, Inf. Comput..
[22] Andrew M. Pitts,et al. Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new? , 1993, MFCS.