Projection: A Synthesis Technique for Concurrent Systems.

Rajit Manohar Tak-Kwan Lee Alain J. Martin

Published in: ASYNC (1999)

Keyphrases

concurrent systems
distributed systems
temporal logic
process algebra
petri net
model checking
transition systems
formal specification
projection method
database
program synthesis
data sets
search algorithm