Modelling distributed systems.
From MaRDI portal
Publication:2382306
zbMath1130.68028MaRDI QIDQ2382306
Publication date: 8 October 2007
Published in: Texts in Theoretical Computer Science. An EATCS Series (Search for Journal in Brave)
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