Process algebras for network communication

MaRDI QIDQ2729667zbMATH OpenFDO

Authors Damas Gruska, Andrea Maggiolo-Schettini

Publication date 23 July 2001

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

process algebraprotocol specifications

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4016181
• Publication:3477943
• Development of communication protocols using algebraic and temporal specifications.
• scientific article; zbMATH DE number 30325
• scientific article; zbMATH DE number 3978362

Cited in

(10)

• Development of communication protocols using algebraic and temporal specifications.
• Modeling Routing Protocols in Adhoc Networks
• scientific article; zbMATH DE number 4173054 (Why is no real title available?)
• Algebraic specification and verification of communication protocols
• Algebraic Specification of Communication Protocols
• scientific article; zbMATH DE number 4147491 (Why is no real title available?)
• scientific article; zbMATH DE number 1696881 (Why is no real title available?)
• A timed process algebra for wireless networks with an application in routing (extended abstract)
• scientific article; zbMATH DE number 1418456 (Why is no real title available?)
• Process algebras as specification language (work in progress)

This page was built for publication: Process algebras for network communication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2729667)