scientific article; zbMATH DE number 7800873

arXiv2209.02359MaRDI QIDQ6190872FDOQ6190872

Kyriaki Psara, Anna Philippou

Publication date: 6 February 2024

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cites Work

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

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 Q6190872)