Task state transitions in Ada

Authors:
Hermann Härtig;Andreas Pfitzmann;Leo Treff
Affiliations:
Universität Karlsruhe, Karlsruhe, West Germany;Universität Karlsruhe, Karlsruhe, West Germany;Universität Karlsruhe, Karlsruhe, West Germany
Venue:
ACM SIGAda Ada Letters
Year:
1981

Citing 1
Cited 2

Preliminary Ada reference manual

ACM SIGPLAN Notices - Preliminary Ada reference manual

A visual execution model for Ada tasking

ACM Transactions on Software Engineering and Methodology (TOSEM)
A runtime supervisor to support Ada tasking: rendezvous and delays

SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada

Quantified Score

Hi-index	0.00

Visualization

Abstract

By stepwise refinement a state transition diagram for ADA-tasks is derived. Four steps of refinements are explained and then a complete list of state transitions is given containing reference s and short explanations.