Specification and Verification of Dynamic Properties in Distributed Computations.
Özalp BabaogluMichel RaynalPublished in: J. Parallel Distributed Comput. (1995)
Keyphrases
- cooperative
- formal verification
- distributed systems
- high level declarative
- scalable distributed
- structural properties
- lightweight
- distributed environment
- computer networks
- asynchronous circuits
- distributed network
- communication cost
- desirable properties
- computing environments
- model checking
- neural network
- mobile agents
- formal specification
- formal methods
- dynamic environments
- peer to peer
- relational databases
- colored petri nets
- website
- artificial intelligence