Chris Verhoef - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged structural operational semantics

Structural operational semantics through context-dependent behaviourRobert Colvin, Ian J. Hayes. jlp, 80(7):392-426, 2011. [doi]

Bialgebras for structural operational semantics: An introductionBartek Klin. TCS, 412(38):5043-5069, 2011. [doi]

Structural Operational Semantics and Modal Logic, RevisitedBartek Klin. ENTCS, 264(2):155-175, 2010. [doi]

A Generic Operational Metatheory for Algebraic EffectsPatricia Johann, Alex Simpson, Janis Voigtländer. lics 2010: 209-218 [doi]

Reasoning in Abella about Structural Operational Semantics SpecificationsAndrew Gacek, Dale Miller, Gopalan Nadathur. ENTCS, 228:85-100, 2009. [doi]

Special issue on structural operational semanticsRob J. van Glabbeek, Peter D. Mosses. iandc, 207(2):83-84, 2009. [doi]

Structural Operational Semantics for Weighted Transition SystemsBartek Klin. BIRTHDAY 2009: 121-139 [doi]

Structural Operational Semantics with First-Order LogicMuck van Weerdenburg, Michel A. Reniers. ENTCS, 229(4):85-106, 2009. [doi]

Structural Operational Semantics with transitivity rules and execution timePatricia Peratto. cleiej, 12(2), 2009. [doi]

Bialgebraic methods and modal logic in structural operational semanticsBartek Klin. iandc, 207(2):237-257, 2009. [doi]

A rewriting logic approach to operational semanticsTraian-Florin Serbanuta, Grigore Rosu, José Meseguer. iandc, 207(2):305-340, 2009. [doi]

Implicit Propagation in Structural Operational SemanticsPeter D. Mosses, Mark J. New. ENTCS, 229(4):49-66, 2009. [doi]

Structural Operational Semantics for Stochastic Process CalculiBartek Klin, Vladimiro Sassone. fossacs 2008: 428-442 [doi]

General Structural Operational Semantics through Categorical LogicSam Staton. lics 2008: 166-177 [doi]

Bialgebraic Methods in Structural Operational Semantics: Invited TalkBartek Klin. ENTCS, 175(1):33-43, 2007. [doi]

Modular Structural Operational Semantics with StrategiesChristiano Braga, Alberto Verdejo. ENTCS, 175(1):3-17, 2007. [doi]

An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics SpecificationsAdrian Pop, Peter Fritzson. ENTCS, 175(1):71-75, 2007. [doi]

Selective strictness and parametricity in structural operational semantics, inequationallyJanis Voigtländer, Patricia Johann. TCS, 388(1-3):290-318, 2007. [doi]

Modelling the Operational Semantics of Domain-Specific Modelling LanguagesGuido Wachsmuth. GTTSE 2007: 506-520 [doi]

Executable structural operational semantics in MaudeAlberto Verdejo, Narciso Martí-Oliet. jlp, 67(1-2):226-293, 2006. [doi]

Compositionality of Hennessy-Milner logic by structural operational semanticsWan Fokkink, Rob J. van Glabbeek, Paulien de Wind. TCS, 354(3):421-440, 2006. [doi]

A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational SemanticsMarcelo P. Fiore, Sam Staton. lics 2006: 49-58 [doi]

Structural operational semantics for supporting multi-cycle operations in RTL HDLsShuqing Zhao, Daniel D. Gajski. memocode 2005: 45-53 [doi]

Structural Operational Semantics of P SystemsOana Andrei, Gabriel Ciobanu, Dorel Lucanu. membrane 2006: 31-48 [doi]

Orthogonal Extensions in Structural Operational SemanticsMohammad Reza Mousavi, Michel A. Reniers. icalp 2005: 1214-1225 [doi]

A Constructive Approach to Language DefinitionPeter D. Mosses. jucs, 11(7):1117-1134, 2005. [doi]

A structural approach to operational semanticsGordon D. Plotkin. jlp, 60-61:17-139, 2004.

The origins of structural operational semanticsGordon D. Plotkin. jlp, 60-61:3-15, 2004. [doi]

Exploiting Labels in Structural Operational SemanticsPeter D. Mosses. FUIN, 60(1-4):17-31, 2004. [doi]

Guesteditors introduction: Special issue on Structural Operational SemanticsLuca Aceto, Wan Fokkink. jlp, 60-61:1-2, 2004. [doi]

Exploiting labels in Structural Operational SemanticsPeter D. Mosses. SAC 2004: 1476-1481 [doi]

Modular structural operational semanticsPeter D. Mosses. jlp, 60-61:195-228, 2004. [doi]

Verification-Oriented Language C-Light and Its Structural Operational SemanticsV. A. Nepomniaschy, Igor S. Anureev, Alexey V. Promsky. ershov 2003: 103-111 [doi]

Structural operational semantics and bounded nondeterminismWan Fokkink, Thuy Duong Vu. ACTA, 39(6-7):501-516, 2003. [doi]

Compositionality of Hennessy-Milner Logic through Structural Operational SemanticsWan Fokkink, Rob J. van Glabbeek, Paulien de Wind. fct 2003: 412-422 [doi]

Well-behaved Translations between Structural Operational SemanticsHiroshi Watanabe. ENTCS, 65(1):337-357, 2002. [doi]

Conservative Extension in Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. In Current Trends in Theoretical Computer Science. pages 504-524, 2001.

Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93Krishnaprasad Thirunarayan, Robert L. Ewing. fmsd, 18(1):69-88, 2001.

Conservative Extension in Structural Operational SemanticsLuca Aceto, Wan Fokkink, Chris Verhoef. eatcs, 69:110-132, 1999.

An Event-Based Structural Operational Semantics of Multi-Threaded JavaPietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing. java 1999: 157-200 [doi]

Structural Operational Semantics as a Basis for Static Program AnalysisDaniel Le Métayer, David A. Schmidt. ACM Comput. Surv., 28(2):340-343, 1996.

Structural Operational Semantics for Weak BisimulationsBard Bloom. TCS, 146(1&2):25-68, 1995. [doi]

Full Abstraction in Structural Operational Semantics (Extended Abstract)Rob J. van Glabbeek. amast 1994: 75-82

The Expressive Power of Structural Operational Semantics with Explicit AssumptionsMarino Miculan. TYPES 1994: 263-290

Compiling Joy Into Silicon: An Exercise in Applied Structural Operational SemanticsSam Weber, Bard Bloom, Geoffrey Brown. rex 1993: 639-659

Structural Operational Semantics for Kernel Andorra PrologSeif Haridi, Catuscia Palamidessi. parle 1991: 238-253

Semantics of programming languages - an elementary introduction using structural operational semanticsMatthew Hennessy. Wiley, 1990.

Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract)Jan Friso Groote, Frits W. Vaandrager. icalp 1989: 423-438

runs on WebDSL