Some undecidable properties of SOS specifications

DOI10.1016/J.JLAMP.2016.08.005MaRDI QIDQ511941zbMATH OpenOpenAlexFDO

Authors Bartek Klin, Beata Nachyła

Publication date 22 February 2017

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2016.08.005

zbMATH Keywords

structural operational semanticscomplete ntyft/ntyxtnegative premisesstable modelsupported model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• The meaning of negative premises in transition system specifications. II
• Distributive laws and decidable properties of SOS specifications
• scientific article; zbMATH DE number 2102773
• Complexity and undecidability results for logic programming
• scientific article; zbMATH DE number 176757

Cites work

• scientific article; zbMATH DE number 1033559 (Why is no real title available?)
• A congruence rule format for name-passing process calculi
• A structural approach to operational semantics
• Bialgebras for structural operational semantics: an introduction
• Bisimulation can't be traced
• Distributive laws and decidable properties of SOS specifications
• Rooted branching bisimulation as a congruence
• SOS formats and meta-theory: 20 years after
• Structural operational semantics.
• The Meaning of Ordered SOS
• The meaning of negative premises in transition system specifications
• The meaning of negative premises in transition system specifications. II
• Transition system specifications with negative premises
• \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules

Cited in

(4)

• Logical characterisations and compositionality of input-output conformance simulation
• Distributive laws for monotone specifications
• Distributive laws for monotone specifications
• Logical characterisations, rule formats and compositionality for input-output conformance simulation

This page was built for publication: Some undecidable properties of SOS specifications

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