The origins of structural operational semantics
type: Item
instance of: scholarly article
title: The origins of structural operational semantics
zbMATH Open document ID: 1072.68063
author: Gordon D. Plotkin
published in: The Journal of Logic and Algebraic Programming
publication date: 2004-09-08T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68-03
zbMATH DE Number: 2099284
zbMATH Keywords: \(\lambda\)-calculus
zbMATH Keywords: formal systems
describes a project that uses: ALGOL 60
MaRDI profile type: Publication
full work available at URL: j.jlap.2004.03.009
OpenAlex ID: W2007809070
cites work: Formal Justification of a Proof System for Communicating Sequential Processes
cites work: Ten years of Hoare's logic: A survey. II: Nondeterminism
cites work: Q4344071
cites work: Q3917476
cites work: Countable nondeterminism and random assignment
cites work: Q3206309
cites work: Q3912568
cites work: Handbook of process algebra
cites work: The Vienna development method: The meta-language
cites work: A Model for Control Structures for Artificial Intelligence Programming Languages
cites work: Proving Properties of Programs by Structural Induction
cites work: Q3327701
cites work: Random-Access Stored-Program Machines, an Approach to Programming Languages
cites work: On the power of list iteration
cites work: The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
cites work: A mathematical semantics for a nondeterministic typed lambda-calculus
cites work: Q3657414
cites work: Q3907039
cites work: Q3938462
cites work: Q4493874
cites work: Q4138147
cites work: Formal verification of parallel programs
cites work: The Mechanical Evaluation of Expressions
cites work: Correspondence between ALGOL 60 and Church's Lambda-notation
cites work: The next 700 programming languages
cites work: Q5601834
cites work: Q5636311
cites work: Formal Semantics of Programming Languages: VDL
cites work: Q5621937
cites work: On describing the behavior and implementation of distributed systems
cites work: Q3328540
cites work: Q5601829
cites work: Q5531462
cites work: Q5574395
cites work: Q3878737
cites work: A calculus of communicating systems
cites work: Q4133080
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: LCF considered as a programming language
cites work: Q3920613
cites work: Q3657409
cites work: The \(\pi\)-calculus: A theory of mobile processes
cites work: A type-theoretical alternative to ISWIM, CUCH, OWHY
cites work: Monadic Elementary Formal Systems
cites work: Q3969890
cites work: Q3914393
cites work: The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
DOI: 10.1016/J.JLAP.2004.03.009
description: scientific article; zbMATH DE number 2099284