Sign in

Projection: A Synthesis Technique for Concurrent Systems.

Rajit ManoharTak-Kwan LeeAlain 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