scientific article; zbMATH DE number 7559502

DOI10.4230/LIPICS.CONCUR.2020.46MaRDI QIDQ5089313zbMATH OpenFDO

Authors Florian Horn, Arnaud Sangnier

Publication date 18 July 2022

Full work available at URL https://arxiv.org/abs/2007.05789

zbMATH Keywords

verificationcut-offsparameterized networks

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 1954380 (Why is no real title available?)
• scientific article; zbMATH DE number 7649940 (Why is no real title available?)
• A structure to decide reachability in Petri nets
• An Algorithm for the General Petri Net Reachability Problem
• CONCUR 2004 - Concurrency Theory
• Co-finiteness and co-emptiness of reachability sets in vector addition systems with states
• Controlling a population
• Expressive Power of Broadcast Consensus Protocols
• Keeping a crowd safe: on the complexity of parameterized verification (invited talk)
• On the Expressive Power of Communication Primitives in Parameterised Systems
• Parameterized Model Checking of Token-Passing Systems
• Parameterized Verification of Communicating Automata under Context Bounds
• Parameterized model checking of rendezvous systems
• Parameterized verification of ad hoc networks
• Presburger vector addition systems
• Projections of vector addition system reachability sets are semilinear
• Reasoning about systems with many processes
• Semigroups, Presburger formulas, and languages
• The computational power of population protocols
• The reachability problem for Petri nets is not elementary
• Vector addition system reachability problem, a short self-contained proof
• Vector addition system reversible reachability problem
• Verification of population protocols

Cited in

(2)

• Finding cut-offs in leaderless rendez-vous protocols is easy
• Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

This page was built for publication:

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