Specification of a simplified Network Service in CSP.
Carroll MorganC. A. R. HoarePublished in: The Analysis of Concurrent Systems (1983)
Keyphrases
- protocol specification
- network resources
- constraint satisfaction problems
- management system
- application level
- network services
- network structure
- network model
- service composition
- access points
- formal specification
- constraint networks
- complex networks
- service providers
- service provisioning
- communication networks
- constraint programming
- business processes
- peer to peer