Process algebras for network communication

• Autorzy: Gruska D.P. , Maggiolo-Schettini A.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

concurrency; specification; process algebras; protocols

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 45, nr 4
• Strony: 359--378
• Opis fizyczny: bibliogr. 16 poz.

Twórcy

autor

Gruska D.P.

autor

Maggiolo-Schettini A.

• Institute of Informatics Comenius University Bratislava, Slovakia,