You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

Process Algebras for Network Communication

Article type: Research Article

Authors: Gruska, Damas P. | Maggiolo-Schettini, Andrea

Abstract: Critical issues that arise when process algebras are used for protocol specifications are discussed. To overcome some of these problems, a process algebra for protocol specifications is presented. It is based on Milner's Calculus of Communicating Systems, which is enriched by time and network reasoning. Several bisimulation based semantics for the calculus are defined and their properties are discussed.

Keywords: Concurrency, Specification, Process Algebras, Protocols

Journal: Fundamenta Informaticae, vol. 45, no. 4, pp. 359-378, 2001

Received 6 April 2001
|
Accepted 6 April 2001
|
Published: 2001
Price: EUR 27.50
Show more