Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism
Work
Year: 2009
Type: article
Abstract: We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “⦶”, that allows to model parallel composition while keeping the order between pa... more
Authors Mihaela Sighireanu, Tayssir Touili
Institutions Université Paris Cité, Laboratoire d'Informatique Algorithmique: Fondements et Applications, Centre National de la Recherche Scientifique
Cites: 25
Cited by: 7
Related to: 10
FWCI: 0.301
Citation percentile (by year/subfield): 61.85
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold