Turner, K. J.: `A LOTOS Case Study: Specification of the OSI Connection-Oriented Network Service', Proc. of OTC Workshop on Formal Techniques, Sydney, July 1989 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Template-Based Specification in LOTOS - Turner (1993) Self-citation (Turner) (Correct)
.... formalised in [5] protocol (ISO 8327) formalised in [6] see also [15] for an explanation of the approach Transport Layer service (ISO 8072) formalised in [7] protocol (ISO 8073) formalised in [8] see also [11] for an explanation of the approach Network Layer service (ISO 8348) formalised in [19], protocol (ISO 8473) formalised in [12] Although a similar approach has been taken in these specifications, little attempt has been made to codify the overall approach as part of a how to guide; 16] is one of the few papers which addresses this. The specification of services and protocols in ....
Turner, K. J.: `A LOTOS Case Study: Specification of the OSI Connection-Oriented Network Service', Proc. of OTC Workshop on Formal Techniques, Sydney, July 1989
LOTOS Specification Style for OSI - Turner, van Sinderen (1992) (2 citations) Self-citation (Turner) (Correct)
.... (Commitment, Concurrency and Recovery) service [Sad90] protocol [JC90] ROSE (Remote Operations Service Element) service [FA89] Session Layer: service [ISO89a] protocol [ISO89b] discussion [SA89] Transport Layer: service [ISO90a] protocol [ISO90b] discussion [LS89] Network Layer: service [Tur89], protocol [Fer89] Experience from the application of LOTOS to OSI indicates that it is relatively straightforward to represent architectural concepts and architectures in LOTOS. This is also shown, at a more fundamental level, in [Tur88] Possible representations of OSI concepts in the standard ....
K. J. Turner: `A LOTOS case study: specification of the OSI connection-oriented network service', OTC Workshop on Formal Techniques, Sydney, July 1989.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC