Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications.

Published in: TRI-Ada (1997)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
model checking
transition systems
petri net
formal specification
databases
information retrieval