Existential abstractions for distributed reactive systems via syntactic transformations.

Vijay D'Silva Sampada Sonalkar S. Ramesh

Published in: EMSOFT (2007)

Keyphrases

reactive systems
petri net
distributed systems
distributed environment
databases
artificial intelligence
multi agent
model checking
database
natural language
query answering
fault tolerant
state machines
control flow
formal methods
information flow
computer networks
real time