An alternative formulation of operational conservativity with binding terms.

DOI10.1016/S1567-8326(02)00039-5zbMATH Open1048.68056OpenAlexW2130901629MaRDI QIDQ1400151FDOQ1400151

Authors: C. A. Middelburg 

Publication date: 13 August 2003

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1567-8326(02)00039-5

Recommendations

• Variable binding operators in transition system specifications
• A conservative look at operational semantics with variable binding
• Structured operational semantics and bisimulation as a congruence
• Structural operational semantics.
• scientific article; zbMATH DE number 1860682

zbMATH Keywords

Operational conservative extensionSource dependencyStructural operational semanticsTransition system specificationVariable binding operator

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Structured operational semantics and bisimulation as a congruence
• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
• Real time process algebra
• An algebraic generalization of Frege structures -- binding algebras
• Process algebra with timing
• The meaning of negative premises in transition system specifications
• Transition system specifications with negative premises
• Title not available (Why is that?)
• Process algebra with timing: Real time and discrete time
• A conservative look at operational semantics with variable binding
• Title not available (Why is that?)
• Variable binding operators in transition system specifications

Cited In (9)

• SOS formats and meta-theory: 20 years after
• Variable binding operators in transition system specifications
• A thread calculus with molecular dynamics
• Process algebra for hybrid systems
• Rule formats for nominal process calculi
• Thread algebra for strategic interleaving
• Rule formats for nominal process calculi
• Continuity controlled hybrid automata
• Title not available (Why is that?)

This page was built for publication: An alternative formulation of operational conservativity with binding terms.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1400151)