Synthesis of Concurrent Systems with Many Similar Sequential Processes.

Paul C. Attie E. Allen Emerson

Published in: POPL (1989)

Keyphrases

concurrent systems
temporal logic
distributed systems
model checking
closely related
data sets
neural network
petri net
stochastic processes
program synthesis
process algebra
database
databases
search engine
object oriented