Session E5: Data communication and local area networks II. Chairman: I. Erényi
Derivation of protocols implementing services with event priorities

https://doi.org/10.1016/0165-6074(93)90091-XGet rights and content

Abstract

An earlier algorithm for deriving protocol specifications from service specifications in a LOTOS-like language is extended to services which include events with different priorities, expressed as globally ordered attributes of individual events.

References (7)

There are more references available in the full text version of this article.

Cited by (0)

View full text