• Citer

Concurrent and maximally concurrent evolution of nonsequential systems

par Janicki, Ryszard;Lauer, Peter P.E.;Koutny, Maciej;Devillers, Raymond
Référence Theoretical computer science, 43, C, page (213-238)
Publication Publié, 1986

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' concurrent semantics is developed. Necessary and sufficient criteria for the equivalence of these semantics are formulated. As an abstract model of nonsequential systems the COSY path expression formalism is used. © 1986.