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

complete ntyft/ntyxtnegative premisesstable modelstructural operational semanticssupported model

Mathematics Subject Classification ID

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

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

• \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
• 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
• scientific article; zbMATH DE number 1033559 (Why is no real title available?)
• Rooted branching bisimulation as a congruence
• SOS formats and meta-theory: 20 years after
• Structural operational semantics.
• The meaning of negative premises in transition system specifications
• The meaning of negative premises in transition system specifications. II
• The Meaning of Ordered SOS
• Transition system specifications with negative premises

Cited in

(5)

• Distributive laws for monotone specifications
• Logical characterisations, rule formats and compositionality for input-output conformance simulation
• Logical characterisations and compositionality of input-output conformance simulation
• Distributive laws for monotone specifications
• The way we were: structural operational semantics research in perspective

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)