Preface, Special Issue on Structural Operational Semantics

Select |




Print


van Glabbeek, Robert; Mosses, Peter D.

van Glabbeek, Robert; Mosses, Peter D.


2009-02-10


Journal Article


Information and Computation


207


2


83-84


Elsevier


Structural Operational Semantics, concurrent processes, simulation up-to, mobility, name-passing, congruence formats, bialgebraic semantics, big-step SOS, logical relations


http://www.cse.unsw.edu.au/~rvg/SpecialIssueSOS/


0890-5401


nicta:1737


van Glabbeek, Robert; Mosses, Peter D. Preface, Special Issue on Structural Operational Semantics. Information and Computation. 2009-02-10; 207(2):83-84.



Loading citation data...

Citation counts
(Requires subscription to view)