Categorical modelling of structural operational rules case studies
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 127-146
- https://doi.org/10.1007/bfb0026985
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Functions as processesPublished by Springer Nature ,2005
- Bisimulation can't be tracedJournal of the ACM, 1995
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993
- On the foundations of final semantics: Non-standard sets, metric spaces, partial ordersPublished by Springer Nature ,1993
- Notions of computation and monadsInformation and Computation, 1991
- Metric semantics for concurrencyBIT Numerical Mathematics, 1988
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- 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
- Strong functors and monoidal monadsArchiv der Mathematik, 1972