The following pages link to Peter D. Mosses (Q516040):
Displaying 6 items.
- 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)
- 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)
- On Proving Limiting Completeness (Q3769943) (← links)
