Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Regular Sets of Pomsets with Autoconcurrency
| |
|
Regular Sets of Pomsets with Autoconcurrency
Jean Fanchon6 and Rémi Morin7
| (6) |
LAAS, CNRS, 7, avenue du colonel Roche, F-31077 Toulouse, France |
| (7) |
LIF, 39 rue F. Joliot-Curie, F-13453 Marseille cedex 13, France |
Abstract
Partially ordered multisets (or pomsets) constitute one of the most basic models of concurrency. We introduce and compare
several notions of regularity for pomset languages by means of contexts and residues of different kinds. We establish some
interesting closure properties that allow us to relate this approach to SP-recognizability in the particular case of series-parallel
pomsets. Finally we introduce the framework of compatible languages which generalizes several classical formalisms (including
message sequence charts and firing pomsets of Petri nets). In this way, we identify regular sets of pomsets as recognizable
subsets in the monoid of multiset sequences.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|