Modeling the Ada task system by Petri nets

Rationale for the design of the Ada programming language

Jean D. Ichbiah, Bernd Krieg-Brueckner, Brian Wichmann et al. · ACM SIGPLAN Notices · 1979 · 408 citations · Full text

Computing, Computer Engineering, Computer Science +12

A Methodology for the Design and Implementation of Communication Protocols

Philip M. Merlin · IRE Transactions on Communications Systems · 1976 · 136 citations

Computing, Communication, Computer Science +16

A comparative study of task communication in ada

Jim Welsh, A. M. Lister · Software Practice and Experience · 1981 · 44 citations

Computing, Communication, Computer Science +16

Task management in Ada—A critical evaluation for real‐time multiprocessors

Eric Roberts, A. William Evans, C.R. Morgan et al. · Software Practice and Experience · 1981 · 28 citations

Engineering, Computer Engineering, Computer Science +12