Assume-Guarantee Supervisor for Concurrent Systems.

Mohammad Zulkernine Rudolph E. Seviora

Published in: IPDPS (2001)

Keyphrases

concurrent systems
distributed systems
temporal logic
process algebra
model checking
formal specification
petri net
transition systems
data sets
artificial intelligence
search engine
website