scientific article; zbMATH DE number 7269247
From MaRDI portal
Publication:5129943
Jan Friso Groote, Tim A. C. Willemse
Publication date: 3 November 2020
Full work available at URL: https://arxiv.org/abs/2001.07658
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Verification of reactive systems via instantiation of parameterised Boolean equation systems
- Cones and foci: A mechanical framework for protocol verification
- Invariants for parameterised Boolean equation systems
- Focus points and convergent process operators: A proof strategy for protocol verification
- Model-checking processes with data
- Parameterised Boolean equation systems
- Specification Guidelines to Avoid the State Space Explosion Problem
- Branching Bisimilarity with Explicit Divergence
- Liveness Analysis for Parameterised Boolean Equation Systems
- Impossibility of distributed consensus with one faulty process
- Abstraction in Fixpoint Logic
- Evidence for Fixpoint Logic
This page was built for publication:
