Reversing Parallel Programs with Blocks and Procedures
Open Access
- 24 August 2018
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 276, 69-86
- https://doi.org/10.4204/eptcs.276.7
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Reverse Code Generation for Parallel Discrete Event SimulationPublished by Springer Science and Business Media LLC ,2015
- Causal-Consistent Reversible DebuggingPublished by Springer Science and Business Media LLC ,2014
- A Reversible Process Calculus and the Modelling of the ERK Signalling PathwayLecture Notes in Computer Science, 2013
- Principles of a reversible programming languagePublished by Association for Computing Machinery (ACM) ,2008
- Reversing algebraic process calculiThe Journal of Logic and Algebraic Programming, 2007
- Revisiting an automatic program inverter for LispACM SIGPLAN Notices, 2005
- Reversible Communicating SystemsLecture Notes in Computer Science, 2004
- Derivation of Deterministic Inverse Programs Based on LR ParsingLecture Notes in Computer Science, 2004
- Communications of the ACM, 1990
- Virtual timeACM Transactions on Programming Languages and Systems, 1985