|
11
|
Programming Language Semantics
– David A. Schmidt
- 1995
|
|
3
|
Semantics-Directed Program Analysis: a Tool-Maker's Perspective
– Flemming Nielson
- 1996
|
|
53
|
From operational semantics to abstract machines
– John Hannan, Dale Miller
- 1992
|
|
|
Centrum voor Wiskunde en Informatica
– Reportrapport Formal Specification, E. P. B. M. Rutten, E. P. B. M. Rutten, F. Arbab, F. Arbab, I. Herman, I. Herman
- 1992
|
|
3
|
Relating State Transformation Semantics and Predicate Transformer Semantics for Parallel Programs
– Franck Van Breugel, Franck Van Breugel
- 1993
|
|
3
|
Modularity in structural operational semantics. Extended abstract
– Peter D. Mosses
- 1998
|
|
3
|
SOS Rule Formats for Parameterized and State-Bearing Processes
– Bard Bloom, Frits Vaandrager
- 1995
|
|
|
Structured Operational Semantics and . . .
– Jan Frisco Groote, et al.
- 1992
|
|
9
|
A Modular SOS for ML Concurrency Primitives
– Peter D. Mosses
- 1999
|
|
1
|
Modular Operational Semantic Specification of Transport Triggered Architectures
– Jon Mountjoy, Pieter Hartel, Henk Corporaal
- 1997
|
|
17
|
Foundations of Modular SOS (Extended Abstract)
– Peter D. Mosses
- 1999
|
|
7
|
Operational Semantics of Process-oriented Simulation Languages. Part II: µDemos
– Graham Birtwistle, Chris Tofts
- 1994
|
|
27
|
Foundations of Modular SOS
– Peter D. Mosses
- 1999
|
|
10
|
PROBMELA: a modeling language for communicating probabilistic processes
– Christel Baier, Frank Ciesinski, Marcus Größer
- 2004
|
|
77
|
Turning SOS Rules into Equations
– Luca Aceto, Bard Bloom, Frits Vaandrager
- 1994
|
|
57
|
The origins of structural operational semantics
– Gordon D. Plotkin
- 2004
|
|
1
|
Linguistic Support for Large-Scale Distributed Programming
– Patrick Th. Eugster, Rachid Guerraoui, Patrick Th, Eugster Rachid, Guerraoui Christian, Christian H. Damm
|
|
1
|
Cps-Translation and the Correctness of Optimising Compilers
– Geoffrey Burn, Daniel Le Métayer
- 1992
|
|
1
|
Multi-Level Languages: a Descriptive Framework
– Flemming Nielson, Hanne Riis Nielson
- 1996
|
