Progress Assumption in Concurrent Systems.

José Félix Costa Amílcar Sernadas

Published in: Formal Aspects Comput. (1995)

Keyphrases

concurrent systems
temporal logic
process algebra
distributed systems
transition systems
petri net
formal specification
model checking
database systems
real world
real time
databases
image sequences
bayesian networks
expert systems
information technology