G-Reactive Systems as Coalgebras

Electronic Notes in Theoretical Computer Science

Volumn 203, Issue 6, 2008, Pages 3-17

  Bonchi, Filippo ^a   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

G reactve systems; labelled transition system; Process calculus; reactive systems; universal coalgebra

Indexed keywords

G-REACTVE SYSTEMS; LABELLED TRANSITION SYSTEM; PROCESS CALCULUS; REACTIVE SYSTEMS; UNIVERSAL COALGEBRA;

BIOMINERALIZATION; COMPUTER AIDED ANALYSIS; DIFFERENTIATION (CALCULUS); INFORMATION THEORY; LASER TISSUE INTERACTION; PATHOLOGY; REAL TIME SYSTEMS;

SEMANTICS;

EID: 56049108592     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.10.040     Document Type: Article

References (20)

1. Amadio R.M., Castellani I., and Sangiorgi D. On bisimulations for the asynchronous pi-calculus. Proc. of CONCUR '96. LNCS 1119 (1996) 147-162
2. Baldan P., Bracciali A., and Bruni R. Bisimulation by unification. Proc. of AMAST '02. LNCS 2422 (2002) 254-270
3. Baldan P., Ehrig H., and König B. Composition and decomposition of dpo transformations with borrowed context. ICGT. LNCS 4178 (2006) 153-167
4. Berry G., and Boudol G. The chemical abstract machine. Theor. Comp. Sci. 96 (1992) 217-248
5. Bonchi, F., B. König and U. Montanari, Saturated semantics for reactive systems., in: Proc. of LICS (2006), pp. 69-80
6. Bonchi, F. and U. Montanri, Coalgebraic models for reactive systems, in: Proc. of CONCUR '07, To appear in LNCS
7. Corradini A., Große-Rhode M., and Heckel R. Structured transition systems as lax coalgebras. Electr. Notes in Theor. Comp. Sci. 11 (1998)
8. Corradini A., Heckel R., and Montanari U. From sos specifications to structured coalgebras: How to make bisimulation a congruence. Electr. Notes in Theor. Comp. Sci. 19 (1999)
9. Corradini, A., R. Heckel and U. Montanari, Tile transition systems as structured coalgebras., in: Proc. of FCT, 1999, pp. 13-38
10. Ehrig H., and König B. Deriving bisimulation congruences in the DPO approach to graph rewriting. Proc. of FoSSaCS '05. LNCS 2987 (2004) 151-166
11. Gadduci F., and Montanari U. The tile model (1999), MIT Press
12. Godement R. Topologie Algbrique et Thorie des Faisceaux (1958), Hermann
13. Lane S.M. Categories for the Working Mathematician (1972), Springer
14. Leifer J.J., and Milner R. Deriving bisimulation congruences for reactive systems. Proc. of CONCUR '00. LNCS 1877 (2000) 243-258
15. Rutten J.J.M.M. Universal coalgebra: a theory of systems. Theor. Comp. Sci. 249 (2000) 3-80
16. Sangiorgi D. A theory of bisimulation for the pi-calculus. Acta Inf. 33 (1996) 69-97
17. Sassone V., and Sobocinski P. Locating reaction with 2-categories. Theor. Comp. Sci. 333 (2005) 297-327
18. Sassone, V. and P. Sobociński, Reactive systems over cospans, in: Proc. of LICS (2005), pp. 311-320
19. Sobociński, P., "Deriving process congruences from reaction rules." Ph.D. thesis (2004)
20. Turi, D. and G. D. Plotkin, Towards a mathematical operational semantics., in: Proc. of LICS (1997), pp. 280-291