Modular structural operational semantics (2004)

by Peter D. Mosses
Citations:61 - 5 self

Documents Related by Co-Citation

1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
3242 Communication and Concurrency – R Milner - 1989
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
1234 On the Criteria To Be Used in Decomposing Systems into Modules – D. L. Parnas - 1972
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003