scientific article; zbMATH DE number 7441258

zbMath1483.68079arXiv1709.00828MaRDI QIDQ5014800

Irek Ulidowski, Shoji Yuen, James Hoey

Publication date: 8 December 2021

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Unnamed Item ⋮ Reversible Imperative Parallel Programs and Debugging

Cites Work

• Unnamed Item
• 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
• Irreversibility and Heat Generation in the Computing Process
• Functional and Logic Programming

This page was built for publication: