Login / Signup
Verification of Concurrent Systems of Processes.
John Yiannis Cotronis
Peter E. Lauer
Published in:
International Computing Symposium (1977)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
process algebra
model checking
petri net
formal specification
transition systems
databases
neural network
process model
learning algorithm
open source
access control
finite state
formal verification