2 datasets found

ISSN 0249-6399 ISRN INRIA/RR--7928--FR+ENG ; RESEARCH REPORT N° 7928, May 2012, Project-Team S4

We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the...