Analysing Concurrent Systems Using the Concurrency Workbench.

Rance Cleaveland

Published in: Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
petri net
formal specification
model checking
concurrency control
transition systems
database systems
dynamic allocation
data sets
object oriented languages
databases
transaction processing
data flow
artificial intelligence
neural network