Paths and Simulations

Abstract We study a notion of path simulation among categorical transition systems, a generalized version of labeled transition systems. We then give a characterization in terms of open maps and, in the relevant case where the labels are spans of sets, the relationship to simulations among corresponding categories of evolutions. More algebraic aspects are investigated in a bicategorical setting where path simulations are characterized as binary predicates over cts's, living in a bicategory of cylinders. The latter plays the role of a relational structure in this setting.

[1]  J. Robin B. Cockett,et al.  Constructing Process Categories , 1997, Theor. Comput. Sci..

[2]  Claudio Hermida.  From coherent structures to universal properties , 2000 .

[3]  Peter Johnstone.  A note on discrete Conduché fibrations. , 1999 .

[4]  Joseph A. Goguen,et al.  Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories , 1991, Theor. Comput. Sci..

[5]  Marcelo P. Fiore.  Fibred Models of Processes: Discrete, Continuous, and Hybrid Systems , 2000, IFIP TCS.

[6]  J. Benabou.  Introduction to bicategories , 1967 .

[7]  Glynn Winskel,et al.  Bisimulation from Open Maps , 1994, Inf. Comput..

[8]  Mogens Nielsen,et al.  Open Maps, Behavioural Equivalences, and Congruences , 1996, Theor. Comput. Sci..

[9]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[10]  Glynn Winskel,et al.  Bisimulation and open maps , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.

[11]  Krzysztof Worytkiewicz.  Components and synchronous communication in categories of processes , 2000 .

[12]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[13]  Ross Street,et al.  Fibrations in bicategories , 1980 .

[14]  Krzysztof Worytkiewicz.  Concrete Process Categories , 2002, Electron. Notes Theor. Comput. Sci..

[15]  M. Barr,et al.  Toposes, Triples and Theories , 1984 .

[16]  Gian Luigi Ferrari,et al.  Structured transition systems with parametric observations: observational congruences and minimal realizations , 1997, Mathematical Structures in Computer Science.

[17]  Mogens Nielsen,et al.  Open Maps (at) Work , 1995 .