An alternative formulation of operational conservativity with binding terms.
type: Item
instance of: scholarly article
title: An alternative formulation of operational conservativity with binding terms.
zbMATH Open document ID: 1048.68056
DOI: 10.1016/S1567-8326(02)00039-5
author: C. A. Middelburg
published in: The Journal of Logic and Algebraic Programming
publication date: 2003-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1963584
zbMATH Keywords: Structural operational semantics
zbMATH Keywords: Operational conservative extension
zbMATH Keywords: Transition system specification
zbMATH Keywords: Variable binding operator
zbMATH Keywords: Source dependency
MaRDI profile type: Publication
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Transition system specifications with negative premises
cites work: Q4847024
cites work: The meaning of negative premises in transition system specifications
cites work: Variable binding operators in transition system specifications
cites work: Real time process algebra
cites work: Q3777424
cites work: Q3992568
cites work: A conservative look at operational semantics with variable binding
cites work: An algebraic generalization of Frege structures -- binding algebras
cites work: Q4818861
cites work: \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Process algebra with timing: Real time and discrete time
cites work: Process algebra with timing
full work available at URL: s1567-8326(02)00039-5
OpenAlex ID: W2130901629
description: scientific article; zbMATH DE number 1963584