Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nils Anders Danielsson
Operational Semantics Using the Partiality Monad
ACM SIGPLAN Notices
Computer Science
Related publications
Modular Structural Operational Semantics
BRICS Report Series
Inductive Assertions and Operational Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Goal Solving as Operational Semantics
An Operational Semantics for Android Activities
Operational Semantics: Concepts and Their Expression
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
An Operational Semantics for Timed RAISE
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Operational Semantics for Network Datalog
A Rewriting Logic Approach to Operational Semantics
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
An Overview on Operational Semantics in Membrane Computing
International Journal of Foundations of Computer Science
Computer Science
