scientific article; zbMATH DE number 6851938
From MaRDI portal
Publication:4608668
DOI10.4230/LIPIcs.CONCUR.2016.16zbMath1392.68234MaRDI QIDQ4608668
Borzoo Bonakdarpour, Corentin Travers, David A. Rosenblueth, Sergio Rajsbaum, Pierre Fraigniaud
Publication date: 21 March 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 systems (68M14) Many-valued logic (03B50) Reliability, testing and fault tolerance of networks and computer systems (68M15) Temporal logic (03B44)
Related Items (5)
Axiomatizing recursion-free, regular monitors ⋮ Deciding and verifying network properties locally with few output bits ⋮ A theory of monitors ⋮ A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring ⋮ Consistently-detecting monitors
This page was built for publication:
