scientific article; zbMATH DE number 7800873

arXiv2209.02359MaRDI QIDQ6190872

Kyriaki Psara, Anna Philippou

Publication date: 6 February 2024

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

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
• Reversibility in the higher-order \(\pi\)-calculus
• Reversibility and asymmetric conflict in event structures
• Petri nets with individual tokens
• A note on transition systems
• Reversible computation in Petri nets
• Reversible occurrence nets and causal reversible prime event structures
• Encoding reversing Petri nets in answer set programming
• Formal translation from reversing Petri nets to coloured Petri nets
• An axiomatic approach to reversible computation
• Reversing algebraic process calculi
• Reversible computation in nets with bonds
• A collective interpretation semantics for reversing Petri nets
• Modelling of Bonding with Processes and Events
• Concurrency and Reversibility
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Bonding calculus
• Reversing Unbounded Petri Nets

This page was built for publication: