C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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