Theory and Practice of Concurrent Systems - A Position Paper.

David H. D. Warren

Published in: FGCS (1988)

Keyphrases

concurrent systems
process algebra
temporal logic
distributed systems
model checking
transition systems
theoretical basis
theoretical insights
general theory
petri net
decision trees
decision making
information systems
knowledge management
multiscale
case study
artificial intelligence
neural network
real time