An alternative formulation of operational conservativity with binding terms.

DOI10.1016/S1567-8326(02)00039-5zbMath1048.68056OpenAlexW2130901629MaRDI QIDQ1400151

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

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)

Related Items (7)

Continuity controlled hybrid automata ⋮ Unnamed Item ⋮ SOS formats and meta-theory: 20 years after ⋮ Thread algebra for strategic interleaving ⋮ Process algebra for hybrid systems ⋮ A thread calculus with molecular dynamics ⋮ Coverability Synthesis in Parametric Petri Nets

Cites Work

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

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