Structural operational semantics through context-dependent behaviour
type: Item
instance of: scholarly article
title: Structural operational semantics through context-dependent behaviour
zbMATH Open document ID: 1223.68026
author: Robert Colvin
author: Ian Hayes
published in: The Journal of Logic and Algebraic Programming
publication date: 2011-09-12T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 5947184
zbMATH Keywords: imperative programming languages
zbMATH Keywords: transition rules
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
full work available at URL: j.jlap.2011.05.001
OpenAlex ID: W2001355739
cites work: Structural operational semantics.
cites work: Q3844650
cites work: Global renaming operators in concrete process algebra
cites work: Process algebra with propositional signals
cites work: Process algebra for synchronous communication
cites work: CSP with Hierarchical State
cites work: A semantics for behavior trees using CSP with specification commands
cites work: Q4513619
cites work: Q3925859
cites work: A hierarchy of SOS rule formats
cites work: Q3777424
cites work: BI as an assertion language for mutable data structures
cites work: Modularity and Implementation of Mathematical Operational Semantics
cites work: Operational semantics: concepts and their expression
cites work: Understanding Programming Language Concepts Via Operational Semantics
cites work: Hoare logic and auxiliary variables
cites work: Bialgebras for structural operational semantics: an introduction
cites work: Coinductive big-step operational semantics
cites work: Recursive functions of symbolic expressions and their computation by machine, Part I
cites work: Q3992568
cites work: Q4301161
cites work: Pragmatics of Modular SOS
cites work: Modular structural operational semantics
cites work: Q4818727
cites work: Implicit propagation in structural operational semantics
cites work: Notions of bisimulation and congruence formats for SOS with data
cites work: SOS formats and meta-theory: 20 years after
cites work: A Sound Semantics for OCaml light
cites work: A structural approach to operational semantics
cites work: The origins of structural operational semantics
cites work: Theories of Programming Languages
cites work: Q5422346
cites work: Syntax and consistent equation semantics of hybrid Chi
cites work: Q4501670
cites work: Q3141916
DOI: 10.1016/J.JLAP.2011.05.001
description: scientific article; zbMATH DE number 5947184