The origins of structural operational semantics (2004)

by Gordon D. Plotkin
Venue:Journal of Logic and Algebraic Programming
Citations:82 - 0 self

Documents Related by Co-Citation

1373 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
3430 Communication and Concurrency – R Milner - 1989
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
517 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
700 Concurrency and automata on infinite sequences – D Park - 1981
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
761 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002