Modelling distributed systems.

zbMath1130.68028MaRDI QIDQ2382306

W. J. Fokkink

Publication date: 8 October 2007

Published in: Texts in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)

zbMATH Keywords

distributed systemsprocess algebra\(\mu\)CRL languagelinear process equations

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Network protocols (68M12) Distributed algorithms (68W15)

Related Items

Model checking mobile ad hoc networks ⋮ Verification of mobile ad hoc networks: an algebraic approach