Buchumschlag

Tutorial: Designing Distributed Software in mCRL2

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Groote, Jan Friso, Keiren, Jeroen J. A.
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Modelling the Raft Distributed Consensus Protocol in mCRL2
von: Bora, Parth, et al.
Veröffentlicht: (2024)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
von: Jansen, David N., et al.
Veröffentlicht: (2019)

Fair Mutual Exclusion for N Processes (extended version)
von: Hafidi, Yousra, et al.
Veröffentlicht: (2021)

A formal specification of the desired software behaviour of the Princess Marijke lock complex
von: Groote, Jan Friso, et al.
Veröffentlicht: (2025)

Benchmarks for Parity Games (extended version)
von: Keiren, Jeroen J. A.
Veröffentlicht: (2014)

Formal Modelling and Analysis of Slot Machines
von: Groote, Jan Friso, et al.
Veröffentlicht: (2024)

Lowerbounds for Bisimulation by Partition Refinement
von: Groote, Jan Friso, et al.
Veröffentlicht: (2022)

A Quadratic Lower Bound for Simulation
von: Groote, Jan Friso, et al.
Veröffentlicht: (2024)

Expressiveness Results for Timed Modal Mu-Calculi
von: Cleaveland, Rance, et al.
Veröffentlicht: (2023)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
von: Keiren, Jeroen J. A., et al.
Veröffentlicht: (2013)

Stuttering Equivalence for Parity Games
von: Cranen, Sjoerd, et al.
Veröffentlicht: (2011)

Structural Analysis of Boolean Equation Systems
von: Keiren, Jeroen, et al.
Veröffentlicht: (2010)

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
von: van Glabbeek, Rob, et al.
Veröffentlicht: (2025)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
von: Beers, Adrian, et al.
Veröffentlicht: (2025)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
von: Stramaglia, Anna, et al.
Veröffentlicht: (2025)

Deadlock in packet switching networks
von: Stramaglia, Anna, et al.
Veröffentlicht: (2021)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
von: Jilissen, Kevin H. J., et al.
Veröffentlicht: (2024)

A Tutorial on Stream-based Monitoring
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

On Woolhouse's Cotton-Spinning Problem
von: Groote, Jan Friso, et al.
Veröffentlicht: (2024)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
von: Heuvel, Bas van den
Veröffentlicht: (2024)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
von: Chrysafis, et al.
Veröffentlicht: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

Completeness of Relational Algebra via Cylindric Algebra
von: Laštovička, Jan
Veröffentlicht: (2026)

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
von: Gatterbauer, Wolfgang
Veröffentlicht: (2024)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
von: Kettmann, Pascal, et al.
Veröffentlicht: (2026)

Distributive Laws of Monadic Containers
von: Purdy, Chris, et al.
Veröffentlicht: (2025)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
von: Ken, Eitetsu, et al.
Veröffentlicht: (2024)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
von: Spaans, Jeroen, et al.
Veröffentlicht: (2025)

Proofs that Modify Proofs, 1/2
von: Towsner, Henry
Veröffentlicht: (2025)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

Base-extension Semantics for Intuitionistic Modal Logics
von: Buzoku, Yll, et al.
Veröffentlicht: (2025)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

Completions of Kleene's second model
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2023)

Fixed Point Theorems in Computability Theory
von: Terwijn, Sebastiaan A.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Distributed First Order Logic
von: Ghidini, Chiara, et al.
Veröffentlicht: (2015)