Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]
Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

Special Issue of JLAP on Structural Operational Semantics

12 February 2004

In a previous posting, I announced a special issue of the Journal of Logic and Algebraic Programming on structural operational semantics that I was co-editing with Wan Fokkink.

It seems unbelievable, but today Wan shipped off all the files for the special issue to Inge Bethke, the journal's editorial assistant. Our editorial work for this special issue is over, and has produced a special issue that will span three issues of the journal with the following contributions:

• Gordon Plotkin "The Origins of Structural Operational Semantics"
• Gordon Plotkin "A Structural Approach to Operational Semantics" (the 1981 DAIMI memo in a definitive version)
• Peter Mosses "Modular Structural Operational Semantics"
• Ralf Laemmel "Evolution of Rule-Based Programs"
• Rob van Glabbeek "The Meaning of Negative Premises in Transition System Specifications II"
• Bartek Klin "Adding Recursive Equations to Bialgebraic Semantics"
• Alex Simpson "Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS"
• Simone Tini "Rule Formats for Compositional Non Interference Properties"
• Irek Ulidowski, Shoji Yuen "Process Languages with Discrete Relative Time based on the Ordered SOS Format and Rooted Eager Bisimulation"
• Jos Baeten, Erik de Vink "Axiomatizing GSOS with Termination"

You can read our foreword to the special issue here.

We plan to unveil the special issue at the forthcoming Workshop on Structural Operational Semantics affiliated to CONCUR 2004 to be held in London, England on 30 August 2004. See you there!