The origins of structural operational semantics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3648114 (Why is no real title available?)
- scientific article; zbMATH DE number 3860370 (Why is no real title available?)
- scientific article; zbMATH DE number 3859117 (Why is no real title available?)
- scientific article; zbMATH DE number 3808928 (Why is no real title available?)
- scientific article; zbMATH DE number 3808935 (Why is no real title available?)
- scientific article; zbMATH DE number 3683033 (Why is no real title available?)
- scientific article; zbMATH DE number 3716749 (Why is no real title available?)
- scientific article; zbMATH DE number 3724430 (Why is no real title available?)
- scientific article; zbMATH DE number 3725663 (Why is no real title available?)
- scientific article; zbMATH DE number 3729429 (Why is no real title available?)
- scientific article; zbMATH DE number 3733226 (Why is no real title available?)
- scientific article; zbMATH DE number 3754002 (Why is no real title available?)
- scientific article; zbMATH DE number 3793435 (Why is no real title available?)
- scientific article; zbMATH DE number 3557184 (Why is no real title available?)
- scientific article; zbMATH DE number 3566181 (Why is no real title available?)
- scientific article; zbMATH DE number 1032897 (Why is no real title available?)
- scientific article; zbMATH DE number 1487471 (Why is no real title available?)
- scientific article; zbMATH DE number 3244305 (Why is no real title available?)
- scientific article; zbMATH DE number 3291623 (Why is no real title available?)
- scientific article; zbMATH DE number 3322506 (Why is no real title available?)
- scientific article; zbMATH DE number 3322510 (Why is no real title available?)
- scientific article; zbMATH DE number 3346088 (Why is no real title available?)
- scientific article; zbMATH DE number 3362976 (Why is no real title available?)
- A Model for Control Structures for Artificial Intelligence Programming Languages
- A calculus of communicating systems
- A mathematical semantics for a nondeterministic typed lambda-calculus
- A type-theoretical alternative to ISWIM, CUCH, OWHY
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Correspondence between ALGOL 60 and Church's Lambda-notation
- Countable nondeterminism and random assignment
- Formal Justification of a Proof System for Communicating Sequential Processes
- Formal Semantics of Programming Languages: VDL
- Formal verification of parallel programs
- Handbook of process algebra
- LCF considered as a programming language
- Monadic Elementary Formal Systems
- On describing the behavior and implementation of distributed systems
- On the power of list iteration
- Proving Properties of Programs by Structural Induction
- Random-Access Stored-Program Machines, an Approach to Programming Languages
- Ten years of Hoare's logic: A survey. II: Nondeterminism
- The Mechanical Evaluation of Expressions
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
- The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
- The Vienna development method: The meta-language
- The \(\pi\)-calculus: A theory of mobile processes
- The next 700 programming languages
Cited in
(56)- iRho: an imperative rewriting calculus
- The rewriting logic semantics project: a progress report
- Processes with local and global liveness requirements
- Process calculi for biological processes
- Bi-inductive structural semantics
- Axiomatizing weak ready simulation semantics over BCCSP
- The equational theory of weak complete simulation semantics over BCCSP
- A Modular Equational Generalization Algorithm
- Hierarchical design rewriting with Maude
- Bisimulation and coinduction enhancements: a historical perspective
- Inter-deriving semantic artifacts for object-oriented programming
- Splitting atoms safely
- From outermost reduction semantics to abstract machine
- Structural operational semantics through context-dependent behaviour
- rCOS: defining meanings of component-based software architectures
- Bialgebraic methods in structural operational semantics (invited talk)
- Measurable stochastics for Brane calculus
- SOS formats and meta-theory: 20 years after
- A connector algebra for P/T nets interactions
- Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
- Equivalence checking 40 years after: a review of bisimulation tools
- Tiles for Reo
- Formalizing operational semantic specifications in logic
- Reasoning about modular datatypes with Mendler induction
- Programming language semantics: It’s easy as 1,2,3
- Revisiting sequential composition in process calculi
- A core calculus for correlation in orchestration languages
- Automating soundness proofs
- scientific article; zbMATH DE number 7453190 (Why is no real title available?)
- Better automata through process algebra
- Notions of bisimulation and congruence formats for SOS with data
- A brief history of process algebra
- Syntactic logical relations for polymorphic and recursive types
- Probabilistic model of software approximate correctness
- A Rewriting Logic Approach to Type Inference
- Exploring conditional rewriting logic computations
- Compositional verification of asynchronous concurrent systems using CADP
- Structural Operational Semantics for Weighted Transition Systems
- On the expressiveness of mixed choice sessions
- A Type System for Usage of Software Components
- CSP with Hierarchical State
- From reduction-based to reduction-free normalization
- Algebra and logic for resource-based systems modelling
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA
- Algebra unifies operational calculi
- Structural operational semantics with first-order logic
- Reactive Systems, Barbed Semantics, and the Mobile Ambients
- A semantic framework for proof evidence
- A congruence rule format with universal quantification
- Bi-inductive structural semantics (extended abstract)
- Processes with infinite liveness requirements
- Automata, Languages and Programming
- Linking formal methods in software development. A reflection on the development of rCOS
- Inspecting rewriting logic computations (in a parametric and stepwise way)
- A Theory Agenda for Component-Based Design
This page was built for publication: The origins of structural operational semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1878710)
