PDF-Reversible Communicating Concurrent Systems Vincent Danos and Jean Krivine Universite Paris CNRS INRIA Rocquencourt Abstract
One obtains in this paper a process algebra RCCS in the style of CCS where processes can backtrack Backtrack jus t as plain forward computation is seen as a synchronization
Download Presentation
"Reversible Communicating Concurrent Systems Vincent Danos an…" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.