Rule formats for distributivity

DOI10.1016/J.TCS.2012.07.036MaRDI QIDQ1758150zbMATH OpenOpenAlexWikidataFDO

Authors Xianqiang Yang

Publication date 8 November 2012

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2012.07.036

zbMATH Keywords

distributivitystructural operational semanticsrule formats

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Rule formats for distributivity
• On rule formats for zero and unit elements
• A Rule Format for Associativity
• SOS rule formats for zero and unit elements
• A rule format for unit elements

Cites work

• scientific article; zbMATH DE number 4160107 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3770925 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 177854 (Why is no real title available?)
• scientific article; zbMATH DE number 4001464 (Why is no real title available?)
• A Rule Format for Associativity
• A bisimulation-based method for proving the validity of equations in GSOS languages
• A finite equational base for CCS with left merge and communication merge
• A rule format for unit elements
• A structural approach to operational semantics
• A syntactic commutativity format for SOS
• Algebra of communicating processes with abstraction
• Bisimilarity is not finitely based over BPA with interrupt
• Bisimulation can't be traced
• CCS with Hennessy's merge has no finite-equational axiomatization
• Communicating sequential processes
• Global renaming operators in concrete process algebra
• Higher-level synchronising devices in Meije-SCCS
• On rule formats for zero and unit elements
• Process algebra for synchronous communication
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Rule formats for determinism and idempotence
• Rule formats for distributivity
• SOS formats and meta-theory: 20 years after
• Semantics and expressiveness of ordered SOS
• Structural operational semantics.
• The \(\pi\)-calculus: A theory of mobile processes
• The algebra of timed processes, ATP: Theory and application
• Turning SOS rules into equations

Cited in

(6)

• SOS rule formats for zero and unit elements
• scientific article; zbMATH DE number 1956550 (Why is no real title available?)
• On rule formats for zero and unit elements
• SOS rule formats for idempotent terms and idempotent unary operators
• Rule formats for distributivity
• A Rule Format for Associativity

This page was built for publication: Rule formats for distributivity

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