Sign in

Realizable and Unrealizable Specifications of Reactive Systems.

Martín AbadiLeslie LamportPierre Wolper
Published in: ICALP (1989)
Keyphrases
  • reactive systems
  • model checking
  • petri net
  • information flow
  • temporal logic
  • control flow
  • formal methods
  • real time systems
  • transition systems
  • social networks
  • artificial intelligence
  • expert systems
  • process model