• Citer

Maximally Concurrent Evolution of Non-sequential Systems: in Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984

par Devillers, Raymond ;Lauer, Peter P.E.;Janicki, Ryszard
Référence Lecture notes in computer science, 197, page (268-280)
Publication Publié, 1984

Article révisé par les pairs

• Détails
• Contenu

Résumé :

The semantics expressed intuitively as "execute as much as possible in parallel" is formally defined and analysed. The relation between such a maximally concurrent semantics and "normal" semantics is developed. Some sufficient criteria for the equivalence of these semantics are formulated. As an abstract model of non-sequential systems the COSY path expression formalism is used.