A Rule Format for Associativity

DOI10.1007/978-3-540-85361-9_35MaRDI QIDQ3541037zbMATH OpenOpenAlexDBLPWikidataFDO

Authors

Publication date 25 November 2008

Published in CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85361-9_35

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

• Rule formats for distributivity
• Rule formats for distributivity
• A specification format for rooted branching bisimulation
• Rule formats for bounded nondeterminism in structural operational semantics
• A syntactic commutativity format for SOS

Cites work

• A calculus of communicating systems
• A structural approach to operational semantics
• A syntactic commutativity format for SOS
• Higher-level synchronising devices in Meije-SCCS
• scientific article; zbMATH DE number 794263 (Why is no real title available?)
• Notions of bisimulation and congruence formats for SOS with data
• Process Algebra
• SOS formats and meta-theory: 20 years after
• Structural operational semantics.
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• The meaning of negative premises in transition system specifications
• The Microcosm Principle and Concurrency in Coalgebra

Cited in

(12)

• Event algebra for transition systems composition application to timed automata
• Rule formats for distributivity
• SOS rule formats for idempotent terms and idempotent unary operators
• A timed process algebra for wireless networks with an application in routing (extended abstract)
• Proving the validity of equations in GSOS languages using rule-matching bisimilarity
• Rule formats for distributivity
• On rule formats for zero and unit elements
• Rule formats for determinism and idempotence
• Repairing time-determinism in the process algebra for hybrid systems
• A specification format for rooted branching bisimulation
• SOS rule formats for zero and unit elements
• The way we were: structural operational semantics research in perspective

This page was built for publication: A Rule Format for Associativity

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