For the most recent entries see the Petri Nets Newsletter.

How Could Estelle Become a Better FDT?.

Courtiat, J.-P.

In: Rudin, H.; West, C. H.: Protocol Specification, Testing and Verification, VII., Proc. of the IRIP WG 6.1 7th Int. Conf. Zürich, pages 43-60. Amsterdam: North Holland, 1987.

Abstract: A new version of Estelle is proposed; it provides new features (a precise semantics of time derived from the time Petri nets, ...) making it possible for a designer to write descriptions of OSI protocols with a significant higher level of abstraction.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography