Sign in
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