Well-behaved Translations between Structural Operational Semantics
Open Access
- 1 October 2002
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 65 (1) , 337-357
- https://doi.org/10.1016/s1571-0661(04)80372-4
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Towards a mathematical operational semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonadsElectronic Notes in Theoretical Computer Science, 2000
- Distributivity for a monad and a comonadElectronic Notes in Theoretical Computer Science, 1999
- Categorical modelling of structural operational rules case studiesPublished by Springer Nature ,1997
- Initial algebra and final coalgebra semantics for concurrencyPublished by Springer Nature ,1994
- Full abstraction for a simple parallel programming languagePublished by Springer Nature ,1979
- Adjoint Lifting Theorems for Categories of AlgebrasBulletin of the London Mathematical Society, 1975
- Review of the elements of 2-categoriesPublished by Springer Nature ,1974