Proper termination of flow-of-control in programs involving concurrent processes-Reference-Cited by-同舟云学术

Proper termination of flow-of-control in programs involving concurrent processes

Published:1972-11 Issue:11 Volume:7 Page:15-27
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Gostelow Kim¹,Cerf Vincent G.²,Estrin Gerald²,Volansky Saul³

Affiliation:

1. Stichting Academisch Rekencentrum Amsterdam

2. University of California, Los Angeles

3. Hughes Aircraft Co.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Reference7 articles.

1. Gostelow K. P. Flow of Control Resource Allocation and the Proper Termination of Programs Ph.D. Dissertation and Computer Science Department Technical Report No. ULCA-ENG-7179 University of California Los Angeles California December 1971. (UCLA-10P14--106). Gostelow K. P. Flow of Control Resource Allocation and the Proper Termination of Programs Ph.D. Dissertation and Computer Science Department Technical Report No. ULCA-ENG-7179 University of California Los Angeles California December 1971. (UCLA-10P14--106).

2. Berge C. Theory of Graphs Barnes and Noble (Eds.) Methuen and Co. 1962. Berge C. Theory of Graphs Barnes and Noble (Eds.) Methuen and Co. 1962.

3. Parallel program schemata

4. Slutz D. E. The Flow-Graph Schemata Model of Parallel Computation MIT Project MAC Ph.D. Dissertation MAC-TR-53 (thesis) 1968. Slutz D. E. The Flow-Graph Schemata Model of Parallel Computation MIT Project MAC Ph.D. Dissertation MAC-TR-53 (thesis) 1968.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A visual token-based formalization of BPMN 2.0 based on in-place transformations;Information and Software Technology;2013-02

2. Query Nets: Interacting Workflow Modules That Ensure Global Termination;Lecture Notes in Computer Science;2003

3. Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques;Lecture Notes in Computer Science;2000

4. Verification of workflow nets;Application and Theory of Petri Nets 1997;1997

5. Towards a theory of simulation for verification of concurrent systems;PARLE '89 Parallel Architectures and Languages Europe;1989