Searching for "Composition of Service and Protocol Specifications." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Framework and Tool Support for Formal Verification of High Speed Transfer Protocol Designs
- …. It supplies a rich collection of specification modules and guides their efficient composition to service…
- Cited by 4 (2 self) – Add To MetaCart
-
Compositional Design of Distributed Real-time Protocols
- … constraint based methodology to combine service specifications of P and Q. If R is the composite protocol…
- Add To MetaCart
-
Compositional Design of Distributed Real-time Protocols\Lambda
- … compositional techniques for designing protocols. The service specification ss(P ) of a protocol P defines…
- Add To MetaCart
Showing 1 through 3.
