Well-behaved translations between structural operational semantics

Electronic Notes in Theoretical Computer Science

Volumn 65, Issue 1, 2002, Pages 337-357

  Watanabe, Hiroshi ^a  

^a NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCE AND TECHNOLOGY AIST   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FUNCTIONS; SYNTACTICS;

BISIMULATION; COALGEBRA; ENDOFUNCTORS; STRUCTURAL OPERATIONAL SEMANTICS (SOS);

SEMANTICS;

EID: 18944397418     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80372-4     Document Type: Conference Paper

References (14)

1. Aceto L., Fokkink W.J., Verhoef C. Structural operational semantics. Bergstra J.A., Ponse A., Smolka S.A. Handbook of Process Algebra. 2001;197-292 Elsevier
2. Bartels F. GSOS for Probabilistic Systems. Electronic Notes in Theoretical Computer Science. 65.1:2002
3. M. Fiore, and D. Turi, Semantics of Name and Value Passing, Proc. LICS 01 (2001), 93-104.
4. Hennessy M.C.B., Plotkin G.D. Full abstraction for a simple programming language. Lecture Notes in Computer Science. 74:1979;108-120
5. Johnstone P.T. Adjoint lifting theorems for categories of algebras. Bull. London Math. Soc. 7:1975;294-297
6. G.M. Kelly and R. Street, Review of the elements of 2-categories, Sydney Category Seminar, Lecture Notes in Mathematics 420 (1974), 75-103.
7. M. Lenisa, J. Power and H. Watanabe, Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads, Electronic Notes in Theoretical Computer Science 33 (2000) http://www.elsevier.nl/locate/entcs/ volume33.htm.
8. G.D. Plotkin, A structural Approach to Operational Semantics, Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
9. J. Power and H. Watanabe, Distributivity of a monad and a comonad, Electronic Notes in Theoretical Computer Science 19 (1999). http://www.elsevier. nl/locate/entcs/volume19.htm.
10. J. Power and H. Watanabe, Combining monads and comonads, to appear in Theoretical Computer Science.
11. J. Rutten and D. Turi, Initial algebra and final coalgebra semantics for concurrency, Lecture Notes in Computer Science 803 (1994), 530-582.
12. D. Turi and G.D. Plotkin, Towards a mathematical operational semantics, Proc. LICS 97 (1997), 280-291.
13. Turi D. Categorical Modelling of Structural Operational Rules: Case Studies. Lecture Notes in Computer Science. 1290:1997;127-146
14. H. Watanabe, Well-behaved Translations between Structural Operational Semantics (Long version), in preparation.