Modelling and verification of Distributed Algorithms

DOI10.1007/3-540-61604-7_77zbMath1514.68144OpenAlexW1556285155MaRDI QIDQ6162106

Wolfgang Reisig

Publication date: 28 June 2023

Published in: CONCUR '96: Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61604-7_77

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Cites Work

• Petri nets and algebraic specifications
• Proving Liveness Properties of Concurrent Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modelling and verification of Distributed Algorithms