researchr - search publication structural operational semantics

researchr

You are not signed in
Sign in
Sign up

79 publication results matching ' structural operational semantics'

Modular structural operational semantics
… Modular SOS (MSOS) is a variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given incrementally, once and for all, and do not need …
Peter D. Mosses. jlp, 60-61:195-228, 2004. [doi]
Exploiting labels in Structural Operational Semantics
… Structural Operational Semantics (SOS) allows transitions to be labelled. This is fully exploited in SOS descriptions of concurrent systems, but usually not at all in conventional descriptions of sequential programming languages.This paper …
Peter D. Mosses. SAC 2004: 1476-1481 [doi]
Implicit Propagation in Structural Operational Semantics
… In contrast to a transition system specification in process algebra, a structural operational semantics (SOS) of a programming language usually involves ….

Keywords: formal semantics; structural operational semantics; Modular SOS …
Peter D. Mosses, Mark J. New. ENTCS, 229(4):49-66, 2009. [doi]
The origins of structural operational semanticsGordon D. Plotkin. jlp, 60-61:3-15, 2004. [doi]
A Metalanguage for Structural Operational SemanticsMatthew R. Lakin, Andrew M. Pitts. sfp 2007: 19-35
Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. In Jan A. Bergstra, Alban Ponse, Scott A. Smolka, editors, Handbook of Process Algebra. pages 197-292, North-Holland / Elsevier, 2001. [doi]
Dynamic structural operational semanticsChristian Johansen, Olaf Owe. jlap, 107:79-107, 2019. [doi]
Adaptive Structural Operational SemanticsGwendal Jouneaux, Damian Frölich, Olivier Barais, Benoît Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen. SLE 2023: 29-42 [doi]
Structural operational semantics for AKLSeif Haridi, Sverker Janson, Catuscia Palamidessi. fgcs, 8(4):409-421, 1992. [doi]
Stateful Structural Operational SemanticsSergey Goncharov 0001, Stefan Milius, Lutz Schröder, Stelios Tsampas 0001, Henning Urbat. fscd 2022: [doi]
Structural Operational Semantics for Weak BisimulationsBard Bloom. TCS, 146(1&2):25-68, 1995. [doi]
Structural operational semantics and bounded nondeterminismWan Fokkink, Thuy Duong Vu. ACTA, 39(6-7):501-516, 2003. [doi]
Special issue on structural operational semanticsRob J. van Glabbeek, Peter D. Mosses. iandc, 207(2):83-84, 2009. [doi]
Exploiting Labels in Structural Operational SemanticsPeter D. Mosses. FUIN, 60(1-4):17-31, 2004. [doi]
Bialgebras for structural operational semantics: An introductionBartek Klin. TCS, 412(38):5043-5069, 2011. [doi]
Conservative Extension in Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. In Current Trends in Theoretical Computer Science. pages 504-524, 2001.
Conservative Extension in Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. eatcs, 69:110-132, 1999.
Orthogonal Extensions in Structural Operational SemanticsMohammad Reza Mousavi, Michel A. Reniers. icalp 2005: 1214-1225 [doi]
Modular Structural Operational Semantics with StrategiesChristiano Braga, Alberto Verdejo. ENTCS, 175(1):3-17, 2007. [doi]
Executable structural operational semantics in MaudeAlberto Verdejo, Narciso Martí-Oliet. jlp, 67(1-2):226-293, 2006. [doi]

Sign in or sign up to see more results.

runs on WebDSL