Login / Signup
A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines.
Hans Tonino
Published in:
Workshop on Abstract State Machines (1998)
Keyphrases
</>
distributed systems
multi agent
logic programming
semantic information
mobile agents
distributed network
cooperative
communication overhead
distributed environment
fixpoint semantics
database
distributed data
distributed database systems
fault tolerant
computer networks
lightweight
learning algorithm
real time