Modular semantics for transition system specifications with negative premises

DOI10.1007/978-3-642-40184-8_5MaRDI QIDQ2842096zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Martin Churchill, Peter D. Mosses, Mohammadreza Mousavi

Publication date 12 August 2013

Published in CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-23495

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 176757
• Structured operational semantics and bisimulation as a congruence
• The meaning of negative premises in transition system specifications
• Semantics and expressiveness of ordered SOS
• The meaning of negative premises in transition system specifications. II

Cited in

(6)

• The meaning of negative premises in transition system specifications. II
• Dynamic structural operational semantics
• scientific article; zbMATH DE number 176757 (Why is no real title available?)
• Modular non-deterministic semantics for T, TB, S4, S5 and more
• Transition system specifications with negative premises
• The way we were: structural operational semantics research in perspective

This page was built for publication: Modular semantics for transition system specifications with negative premises

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