A new paradigm for the design of concurrent systems.

Ralph-Johan Back Reino Kurki-Suonio

Published in: IRTAW (1987)

Keyphrases

concurrent systems
temporal logic
computer aided
engineering design
real time
search engine
case study
design process
fine grained
design principles