Verification and Design Aspects of "True" Concurrency.

David W. Mizell

Published in: POPL (1978)

Keyphrases

case study
design issues
design process
software architecture
computer aided
databases
decision making
formal verification
design choices
knowledge based systems
functional verification
engineering design
real time
multi agent
face recognition
database systems
data sets