Structuring Operational Semantics: Simplification and Computation
From MaRDI portal
Publication:2864160
DOI10.1016/j.entcs.2007.02.016zbMath1277.68124MaRDI QIDQ2864160
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.016
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- The chemical abstract machine
- A syntactic approach to type soundness
- Mobile ambients
- A structural approach to operational semantics
- An abstract monadic semantics for value recursion
- Generative communication in Linda
- FreshML
- Functional and Logic Programming
- Global Computing
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
- Programming Languages and Systems
- Formal Methods for Open Object-Based Distributed Systems