Publisher Summary The chapter presents both an expository survey and the research
results in protocol engineering. Protocols are a set of rules prescribing the manner in which …

A LOTOS-like timed process algebra is first introduced, which offers operators for specifying
the urgency of a specified action, but also of an interaction involving two or more processes …

TIC is a timed algebraic calculus which combines ideas from asynchronous and
synchronous calculi. Time is introduced by assigning explicit time restrictions to the events of …

A timed process algebra called ρ1 is introduced, which offers operators for specifying time-
dependent behaviours and, in particular, the urgency of a given (inter-) action involving one …

A RAPIDLY GROWING area of research in computer communications is formal protocol
specification. The importance of protocols arises from the fact that protocols form the nervous …

In the past ten years, formal techniques have been extensively applied to analyze the
communication protocol. In this domain, the protocol is represented by a formal model. Then …

This paper presents a new model, which is named Timed Communicating State Machine
(TCSM), for specifying protocols that incorporate timed properties as part of their …

The need for formal, machine-readable specification of the protocols used in distributed
computer systems is widely accepted. In these formal protocol specifications relatively little …

Medium access control (MAC) protocols for local area networks (LANs), yielding minimal
delay and maximal throughput, have emerged as essential for supporting real-time …

The importance—and even the necessity—of formal description techniques for computer-
communication protocols is now widely accepted. A dimension usually neglected in formal …