Rule formats for distributivity
From MaRDI portal
Recommendations
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)
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)