scientific article; zbMATH DE number 7471704

MaRDI QIDQ5028469zbMATH OpenFDO

Authors Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik, Mathias Ruggaard Pedersen

Publication date 9 February 2022

Full work available at URL https://arxiv.org/abs/2102.11166, https://lmcs.episciences.org/8979

zbMATH Keywords

axiomatisationlinear time-branching time spectrumparallel composition

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 7559474
• The Saga of the Axiomatization of Parallel Composition
• The quest for equational axiomatizations of parallel composition: status and open problems
• scientific article; zbMATH DE number 2064226
• scientific article; zbMATH DE number 2217135
• scientific article; zbMATH DE number 3907747
• Parallelizations in Weihrauch reducibility and constructive reverse mathematics
• Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction
• scientific article; zbMATH DE number 992012

Cites work

• A finite equational base for CCS with left merge and communication merge
• A structural approach to operational semantics
• Algebraic laws for nondeterminism and concurrency
• Bisimulation can't be traced
• Formal verification of parallel programs
• Handbook of process algebra
• Higher-level synchronising devices in Meije-SCCS
• scientific article; zbMATH DE number 1670866 (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 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 177854 (Why is no real title available?)
• scientific article; zbMATH DE number 2038703 (Why is no real title available?)
• Lifting non-finite axiomatizability results to extensions of process algebras
• Modeling and analysis of communicating systems
• Nested semantics over finite trees are equationally hard
• On finite alphabets and infinite bases
• Process algebra for synchronous communication
• Structured operational semantics and bisimulation as a congruence
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• Unifying the linear time-branching time spectrum of process semantics

Cited in

(6)

• Compositionality Entails Sequentializability
• scientific article; zbMATH DE number 992012 (Why is no real title available?)
• A sound and complete abstraction for reasoning about parallel prefix sums
• Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity
• Non-finite axiomatisability results via reductions: CSP parallel composition and CCS restriction
• From bisimulation to traces: the impact of parallel composition on finite bases

Describes a project that uses

Uses Software

• Prover9

This page was built for publication:

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