Parallel composition of assumption-commitment specifications a unifying approach for shared variable and distributed message passing concurrency

@inproceedings{Cau1995ParallelCO,
  title={Parallel composition of assumption-commitment specifications a unifying approach for shared variable and distributed message passing concurrency},
  author={Antonio Cau and Pierre Collette},
  year={1995}
}
We unify the parallel composition rule of assumption-commitment specifications for respectively state-based and message-based concurrent processes. Without providing languagedependent definitions, we first assume that the model of a process can be given as a set of ‘sequences’ (e.g., traces, state sequences). Then we assume the existence of a merging operator that captures the compositionality of that model. On this basis, we formulate a semantic parallel composition rule for assumption… CONTINUE READING

Topics from this paper.

Similar Papers

Loading similar papers…