Towards formal specification of a distributed computing system.
V. K. AgrawalLalit M. PatnaikPrem Shankar GoelPublished in: Int. J. Parallel Program. (1985)
Keyphrases
- distributed computing
- formal specification
- distributed environment
- model checking
- specification languages
- object oriented design
- fault tolerance
- grid computing
- distributed systems
- process algebra
- cloud computing
- reverse engineering
- mobile agents
- virtual machine
- peer to peer
- distributed computing systems
- formal methods
- distributed computing environment
- concurrent systems
- mobile communications
- multimedia
- building blocks
- open source
- query processing