On the Axiomatisability of Parallel Composition

On the Axiomatisability of Parallel Composition

This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear time-branching time spectrum. In the setting of the process algebra BCCSP over a finite set of actions, we provide...

Full description

Bibliographic Details
Main Authors:	Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik, Mathias R. Pedersen
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2022-01-01
Series:	Logical Methods in Computer Science
Subjects:	computer science - logic in computer science
Online Access:	https://lmcs.episciences.org/7217/pdf

Similar Items

A Complete Axiomatisation for Quantifier-Free Separation Logic
by: Stéphane Demri, et al.
Published: (2021-08-01)

A Finite Axiomatisation of Finite-State Automata Using String Diagrams
by: Robin Piedeleu, et al.
Published: (2023-02-01)

Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
by: Luca Aceto, et al.
Published: (2005-03-01)

The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable
by: Bas Luttik, et al.
Published: (2021-02-01)

Rule Formats for Nominal Process Calculi
by: Luca Aceto, et al.
Published: (2019-10-01)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
by: Luca Aceto, et al.
Published: (2023-02-01)

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
by: Rob van Glabbeek, et al.
Published: (2020-08-01)

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
by: Jos C. M. Baeten, et al.
Published: (2023-03-01)

A framework to measure the robustness of programs in the unpredictable environment
by: Valentina Castiglioni, et al.
Published: (2023-07-01)

Computation Tree Logic with Deadlock Detection
by: Rob van Glabbeek, et al.
Published: (2009-12-01)

Axiomatisation and Simulation
by: Klaus G. Troitzsch
Published: (2019-02-01)

An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
by: Jules Chouquet, et al.
Published: (2021-12-01)

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
by: Valentina Castiglioni, et al.
Published: (2018-06-01)

Compositional Confluence Criteria
by: Kiraku Shintani, et al.
Published: (2024-01-01)

Natural Transformations as Rewrite Rules and Monad Composition
by: Dexter Kozen
Published: (2019-01-01)

Statman's Hierarchy Theorem
by: Bram Westerbaan, et al.
Published: (2017-11-01)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi
by: Daniel Gebler, et al.
Published: (2017-04-01)

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
by: Adrian Francalanza, et al.
Published: (2014-06-01)

Compositional Verification for Timed Systems Based on Automatic Invariant Generation
by: Lacramioara Astefanoaei, et al.
Published: (2015-09-01)

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
by: Luca Ciccone, et al.
Published: (2022-08-01)

Parallel OWL 2 RL materialisation in centralised, main-memory RDF systems
by: Motik, B, et al.
Published: (2014)

Conditional Bisimilarity for Reactive Systems
by: Mathias Hülsbusch, et al.
Published: (2022-01-01)

Robustness against Read Committed for Transaction Templates with Functional Constraints
by: Brecht Vandevoort, et al.
Published: (2023-12-01)

A duality theoretic view on limits of finite structures: Extended version
by: Mai Gehrke, et al.
Published: (2022-01-01)

On Sessions and Infinite Data
by: Paula Severi, et al.
Published: (2017-06-01)

On the Compositionality of Quantitative Information Flow
by: Yusuke Kawamoto, et al.
Published: (2017-08-01)

Almost periodic functions, constructively
by: Bas Spitters
Published: (2005-12-01)

Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors
by: Lionel Vaux
Published: (2019-07-01)

Parallel logic programming /
by: 359152 Takeuchi, Akikazu
Published: (1992)

Small Stone in Pool
by: Samuel R. Buss, et al.
Published: (2014-06-01)

Bijective proofs for Eulerian numbers of types B and D
by: Luigi Santocanale
Published: (2023-03-01)

Universal Horn Sentences and the Joint Embedding Property
by: Manuel Bodirsky, et al.
Published: (2022-05-01)

Undecidable First-Order Theories of Affine Geometries
by: Antti Kuusisto, et al.
Published: (2013-12-01)

Approximation systems for functions in topological and in metric spaces
by: Dimiter Skordev
Published: (2013-11-01)

Ordered Models of the Lambda Calculus
by: Antonino Salibra, et al.
Published: (2013-12-01)

Bounded variation and the strength of Helly's selection theorem
by: Alexander P. Kreuzer
Published: (2014-12-01)

Effective zero-dimensionality for computable metric spaces
by: Robert Kenny
Published: (2015-03-01)

The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
by: Dag Normann
Published: (2015-03-01)

A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics
by: Karim Nour, et al.
Published: (2017-08-01)

Admissibility in Finitely Generated Quasivarieties
by: George Metcalfe, et al.
Published: (2013-06-01)