C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Decomposing Specifications of Concurrent Systems.
Martín Abadi
Leslie Lamport
Published in:
PROCOMET (1994)
Keyphrases
</>
concurrent systems
distributed systems
transition systems
temporal logic
formal specification
process algebra
petri net
model checking
database