Synthesis of Concurrent Systems with Many Similar Processes.

Paul C. Attie E. Allen Emerson

Published in: ACM Trans. Program. Lang. Syst. (1998)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
petri net
formal specification
transition systems
model checking
databases
information retrieval
real time
information systems
computational model
closely related
computational models
communication channels