Bialgebraic Methods in Structural Operational Semantics: Invited Talk
Open Access
- 14 May 2007
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 175 (1) , 33-43
- https://doi.org/10.1016/j.entcs.2006.11.018
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Coalgebras and their logicsACM SIGACT News, 2006
- Distributive laws for the coinductive solution of recursive equationsInformation and Computation, 2006
- The origins of structural operational semanticsThe Journal of Logic and Algebraic Programming, 2004
- Modular structural operational semanticsThe Journal of Logic and Algebraic Programming, 2004
- Adding recursive constructs to bialgebraic semanticsThe Journal of Logic and Algebraic Programming, 2004
- A New Approach to Abstract Syntax with Variable BindingFormal Aspects of Computing, 2002
- Bisimulation can't be tracedJournal of the ACM, 1995