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

Authors:
Kim Gostelow;Vincent G. Cerf;Gerald Estrin;Saul Volansky
Affiliations:
Stichting Academisch Rekencentrum Amsterdam;University of California, Los Angeles;University of California, Los Angeles;Hughes Aircraft Co.
Venue:
ACM SIGPLAN Notices - Special issue on control structures in programming languages
Year:
1972

Citing 3
Cited 4

A scheduling philosophy for multiprocessing systems

Communications of the ACM
On deadlock in computer systems

On deadlock in computer systems
Flow of control, resource allocation, and the proper termination of programs

Flow of control, resource allocation, and the proper termination of programs

Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change

Information Systems Frontiers
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

Business Process Management, Models, Techniques, and Empirical Studies
Query nets: interacting workflow modules that ensure global termination

BPM'03 Proceedings of the 2003 international conference on Business process management
A visual token-based formalization of BPMN 2.0 based on in-place transformations

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract