Modeling Regular and Safe Concurrent Processes (Technical Summary)
Wenwey Hseush; Timothy S. Balraj; Gail E. Kaiser
- Modeling Regular and Safe Concurrent Processes (Technical Summary)
Balraj, Timothy S.
Kaiser, Gail E.
- Technical reports
- Computer Science
- Permanent URL:
- Columbia University Computer Science Technical Reports
- Part Number:
- Department of Computer Science, Columbia University
- Publisher Location:
- New York
- 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.
- Computer science
- Item views: