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.