Home

Modeling Regular and Safe Concurrent Processes (Technical Summary)

Wenwey Hseush; Timothy S. Balraj; Gail E. Kaiser

Title:
Modeling Regular and Safe Concurrent Processes (Technical Summary)
Author(s):
Hseush, Wenwey
Balraj, Timothy S.
Kaiser, Gail E.
Date:
Type:
Technical reports
Department:
Computer Science
Permanent URL:
Series:
Columbia University Computer Science Technical Reports
Part Number:
CUCS-039-90
Publisher:
Department of Computer Science, Columbia University
Publisher Location:
New York
Abstract:
The authors have previously described the use of data path expressions and predecessor automata in debugging concurrent systems. In this paper we examine the relationship of these models to two traditional models of concurrent processes: pomset languages and k-safe Petri net systems. We explore the regularity and safety of the concurrent languages described by each of the four models. Our main result is the equivalence of regular safe pomset languages and the languages described by safe data path expressions, safe predecessor automata and k-safe Petri net systems.
Subject(s):
Computer science
Item views:
59
Metadata:
text | xml

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services | Terms of Use