Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Chris George
An Operational Semantics for Timed RAISE
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
An Operational Semantics for Android Activities
An Operational Semantics for Network Datalog
An Overview on Operational Semantics in Membrane Computing
International Journal of Foundations of Computer Science
Computer Science
Better Living Through Operational Semantics: An Optimizing Compiler for Radio Protocols
Proceedings of the ACM on Programming Languages
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
Operational Semantics Using the Partiality Monad
ACM SIGPLAN Notices
Computer Science
Operational Semantics: Concepts and Their Expression
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
