Specification of a simplified Network Service in Z.
Carroll MorganPublished in: The Analysis of Concurrent Systems (1983)
Keyphrases
- protocol specification
- network resources
- high level
- wireless sensor networks
- web services
- complex networks
- information services
- access points
- management system
- network structure
- network traffic
- network services
- application level
- network architecture
- network access
- fully distributed
- bayesian networks
- network management
- computing environments
- service providers
- end users