Detecting Deadlocks in Concurrent Systems.

Lisbeth Fajstrup Eric Goubault Martin Raußen

Published in: CONCUR (1998)

Keyphrases

concurrent systems
distributed systems
temporal logic
process algebra
petri net
formal specification
transition systems
model checking
deadlock detection
database
data sets
neural network
website
image sequences