scientific article

MaRDI QIDQ3384916

Shoji Yuen, James Hoey, Irek Ulidowski

Publication date: 17 December 2021

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

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

From reversible programming languages to reversible metalanguages ⋮ Saving memory space in deep neural networks by recomputing: a survey ⋮ Reversibility of Executable Interval Temporal Logic Specifications ⋮ Reversible Imperative Parallel Programs and Debugging ⋮ A reversible debugger for imperative parallel programs with contracts

Cites Work

• Reversing algebraic process calculi
• Reverse Code Generation for Parallel Discrete Event Simulation
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Transitions and Trees
• Functional and Logic Programming
• CONCUR 2004 - Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: