Recent Developments in the Mathematics of Reactive Systems (Extended Abstract).

Jeremy Gunawardena

Published in: CONCUR (1997)

Keyphrases

recent developments
extended abstract
reactive systems
temporal logic
model checking
information flow
petri net
formal methods
recent advances
computer science
control flow
real time systems
open source
state machines
real time
black box
intelligent agents
data model
high level
artificial intelligence