A Semantics for Distributed Execution of Statemate.

Martin Fränzle Jürgen Niehaus Alexander Metzner Werner Damm

Published in: Formal Aspects Comput. (2003)

Keyphrases

computational grids
multi agent
distributed systems
control flow
parallel execution
peer to peer
distributed environment
data intensive
data sets
data management
logic programming
lightweight
mobile agents
communication cost
active rules