Login / Signup
An Extensible Formal Framework for the Specification and Verification of an Optimistic Simulation Protocol.
Peter Frey
Radharamanan Radhakrishnan
Philip A. Wilsey
Perry Alexander
Harold W. Carter
Published in:
HICSS (1999)
Keyphrases
</>
formal model
colored petri nets
lightweight
protocol specification
formal methods
simulation environment
petri net
formal languages
formal analysis
application specific
simulation model
database
theoretical framework
main contribution
sensor networks
probabilistic model
multi agent
database systems
neural network