A language design for structured concurrency.

Published in: Design and Implementation of Programming Languages (1976)

Keyphrases

design methodology
optimal design
knowledge based systems
design process
software architecture
conceptual model
java programming
real time
real world
bayesian networks
object oriented
programming language
computer aided
concurrency control
modeling language
specification language