Modelling distributed systems.

MaRDI QIDQ2382306zbMATH OpenFDO

Authors Wan Fokkink

Publication date 8 October 2007

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

zbMATH Keywords

\(\mu\)CRL languagedistributed systemslinear process equationsprocess algebra

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Network protocols (68M12) Distributed systems (68M14) 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 algorithms (68W15)

Recommendations

• scientific article; zbMATH DE number 971419
• Modelling distributed and parallel computer systems
• Integrating the distributed system models
• scientific article; zbMATH DE number 1728518
• scientific article; zbMATH DE number 2205250
• Distributed systems. Principles and paradigms.
• Distributed systems. Principles and paradigms.
• scientific article; zbMATH DE number 194565

Cited in

(16)

• Distributed systems. Methods and tools for specification. An advanced course (Munich, April 3-12, 1984)
• Model checking mobile ad hoc networks
• scientific article; zbMATH DE number 1728518 (Why is no real title available?)
• scientific article; zbMATH DE number 4018360 (Why is no real title available?)
• Formal methods for distributed processing. A survey of object-oriented approaches.
• Model of distributed computing system operation with time
• scientific article; zbMATH DE number 1150543 (Why is no real title available?)
• Analyse régionale des systèmes distribués
• Approximate bounded synthesis for distributed systems
• Introduction to Reliable Distributed Programming
• Verification of mobile ad hoc networks: an algebraic approach
• Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude
• Understanding Behaviour of Distributed Systems Using mCRL2
• Interaction improvement
• Process algebras as support for sustainable systems of services
• Verification of distributed systems with the axiomatic system of MSVL

This page was built for publication: Modelling distributed systems.

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