Controlling Reversibility in Higher-Order Pi
- 1 January 2011
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Lightweight checkpointing for concurrent MLJournal of Functional Programming, 2010
- Reversing Higher-Order PiLecture Notes in Computer Science, 2010
- TransactorsPublished by Association for Computing Machinery (ACM) ,2005
- Transactions in RCCSLecture Notes in Computer Science, 2005
- Basic concepts and taxonomy of dependable and secure computingIEEE Transactions on Dependable and Secure Computing, 2004
- Abstractions for fault-tolerant global computingTheoretical Computer Science, 2004
- Reversible Communicating SystemsLecture Notes in Computer Science, 2004
- A survey of rollback-recovery protocols in message-passing systemsACM Computing Surveys, 2002
- Notes on the history of reversible computationIBM Journal of Research and Development, 1988
- A formal approach to undo operations in programming languagesACM Transactions on Programming Languages and Systems, 1986