2 Hits in 3.5 sec

Page 202 of Journal of Research and Practice in Information Technology Vol. 17, Issue 4 [page]

1985 Journal of Research and Practice in Information Technology  
The third paper discussed the use of the protocol description language (PDIL) to model the NADIR transport protocol for use on satellite channels.  ...  —two of the three papers in this section describe automated tools to produce an implementation of a protocol in a programming language such as Pascal or C from a formal specification of the The third  ... 

A semi-automatic approach to protocol implementation : the ISO class 2 Transport protocol as an example

Allen Chakming Lau
Formal Description Techniques (FDTs) for specifying communication protocols, and the adopted FDT standards such as Estelle have opened a new door for the possibility of automating the implementation of  ...  a complex communication protocol directly from its specification.  ...  [Ansart83] Ansart, J.P., Chari, V. and Simon, D., "From formal description to automated implementation using PDIL," Protocol Specification, Testing and Verification, (IFIP/WG 6.1), H. Rudin and C. H.  ... 
doi:10.14288/1.0051901 fatcat:gtn6ppci7rh5dp4dalbv5qx7ke