The following pages link to Peter D. Mosses (Q516040):
Displaying 45 items.
- Flag-based big-step semantics (Q516041) (← links)
- VDM semantics of programming languages: Combinators and monads (Q539163) (← links)
- (Q672139) (redirect page) (← links)
- Valentin Antimirov (1961--1995) (Q672140) (← links)
- Rewriting extended regular expressions (Q673635) (← links)
- CoFI with Don Sannella (Q724933) (← links)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (Q1422256) (← links)
- Executable component-based semantics (Q1734523) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Composing programming languages by combining action-semantics modules. (Q1872749) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- An action environment (Q2499823) (← links)
- Algebraic Specifications, Higher-order Types and Set-theoretic Models (Q2752531) (← links)
- (Q2767190) (← links)
- Implicit Propagation in Structural Operational Semantics (Q2810689) (← links)
- Modular Semantics for Transition System Specifications with Negative Premises (Q2842096) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- Pragmatics of Modular SOS (Q2996131) (← links)
- (Q3043821) (← links)
- Mapping Modular SOS to Rewriting Logic (Q3079927) (← links)
- (Q3204056) (← links)
- (Q3332227) (← links)
- Generating Specialized Interpreters for Modular Structural Operational Semantics (Q3453654) (← links)
- VDM Semantics of Programming Languages: Combinators and Monads (Q3526945) (← links)
- Programming Language Description Languages (Q3557674) (← links)
- (Q3659173) (← links)
- On Proving Limiting Completeness (Q3769943) (← links)
- (Q3920614) (← links)
- Action Semantics (Q4023578) (← links)
- (Q4066567) (← links)
- (Q4105769) (← links)
- (Q4223005) (← links)
- (Q4385537) (← links)
- (Q4536458) (← links)
- R n - and G n -logics (Q4645806) (← links)
- (Q4790386) (← links)
- (Q4818727) (← links)
- Modular Bisimulation Theory for Computations and Values (Q4910414) (← links)
- (Q4941890) (← links)
- (Q4942093) (← links)
- (Q4945216) (← links)
- (Q4964002) (← links)
- Unified Algebras and action semantics (Q5096140) (← links)
- Deriving Pretty-Big-Step Semantics from Small-Step Semantics (Q5410704) (← links)
- Constructive Action Semantics in OBJ (Q5757942) (← links)
