scientific article; zbMATH DE number 7800866

arXiv2209.05231MaRDI QIDQ6150427

Clément Aubert, Christian Johansen, Ross Horne

Publication date: 6 February 2024

Full work available at URL: https://arxiv.org/abs/2209.05231

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• ST-structures
• Locality and interleaving semantics in calculi for mobile processes
• Failures semantics based on interval semiwords is a congruence for refinement
• Configuration structures, event structures and Petri nets
• Typed event structures and the linear \(\pi \)-calculus
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A theory of processes with localities
• Adding action refinement to a finite process algebra
• The difference between splitting in \(n\) and \(n+1\)
• Split and ST bisimulation semantics
• A theory of bisimulation for the \(\pi\)-calculus
• Concurrent testing of processes
• The limit of split\(_ n\)-language equivalence
• Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity
• Rigid Families for CCS and the $$\pi $$ -calculus
• Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
• The Applied Pi Calculus
• Characterising Testing Preorders for Finite Probabilistic Processes
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES

This page was built for publication: