Process algebras and flocks of birds
From MaRDI portal
Publication:6163900
DOI10.1007/978-3-031-15629-8_27zbMath1524.68214MaRDI QIDQ6163900
Luca Di Stefano, Rocco De Nicola, Omar Inverso, Serenella Valiani
Publication date: 26 July 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Functional analysis, Sobolev spaces and partial differential equations
- Moving and staying together without a leader
- SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms
- SAT-Based Model Checking without Unrolling
- HERD BEHAVIOR AND AGGREGATE FLUCTUATIONS IN FINANCIAL MARKETS
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Process algebras and flocks of birds
