A Fresh Look at Modeling Distributed Reactive Systems.

Roland Moser Schahram Dustdar Johannes Gutleber Luciano Orsini

Published in: CGC (2013)

Keyphrases

reactive systems
model checking
information flow
distributed systems
temporal logic
multi agent
peer to peer
formal methods
communication cost
black box
distributed environment
database
open source
high level
case study
knowledge base
artificial intelligence