\(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
From MaRDI portal
Publication:1917088
DOI10.1006/inco.1996.0030zbMath0853.68124OpenAlexW1968839148MaRDI QIDQ1917088
Robert J. van Glabbeek, W. J. Fokkink
Publication date: 3 July 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1996.0030
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
The meaning of negative premises in transition system specifications. II, Unification for infinite sets of equations between finite terms, Compositionality of Hennessy-Milner logic by structural operational semantics, A format for semantic equivalence comparison, A syntactic commutativity format for SOS, A general SOS theory for the specification of probabilistic transition systems, An equational axiomatization for multi-exit iteration, Axiomatizations for the perpetual loop in process algebra, SOS formats and meta-theory: 20 years after, Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity, An alternative formulation of operational conservativity with binding terms., Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity, Rooted branching bisimulation as a congruence, Some undecidable properties of SOS specifications, Variable binding operators in transition system specifications, Notions of bisimulation and congruence formats for SOS with data, Bochvar-McCarthy logic and process algebra, Category theory for operational semantics, On the expressibility of priority, Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence, Process algebra with four-valued logic, Structural Operational Semantics with First-Order Logic, Semantics and expressiveness of ordered SOS, Bialgebraic methods and modal logic in structural operational semantics, A conservative look at operational semantics with variable binding, Language preorder as a precongruence, Bisimilarity of open terms., Bialgebraic Methods in Structural Operational Semantics, On Well-Foundedness and Expressiveness of Promoted Tyft
