Process algebras and flocks of birds

DOI10.1007/978-3-031-15629-8_27MaRDI QIDQ6163900zbMATH OpenFDO

Authors Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani

Publication date 26 July 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-15629-8_27

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Ants and agents: a process algebra approach to modelling ant colony behaviour
• Natural algorithms
• On the mathematics of emergence
• From flocs to flocks
• An algorithmic approach to collective behavior

Cites work

• Functional analysis, Sobolev spaces and partial differential equations
• HERD BEHAVIOR AND AGGREGATE FLUCTUATIONS IN FINANCIAL MARKETS
• Moving and staying together without a leader
• SAT-Based Model Checking without Unrolling
• SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(2)

• Process Calculi à la Bird-Meertens
• Intuitive modelling and formal analysis of collective behaviour in foraging ants

This page was built for publication: Process algebras and flocks of birds

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