Featured Team Automata
From MaRDI portal
Publication:6488470
DOI10.1007/978-3-030-90870-6_26zbMath1521.68082MaRDI QIDQ6488470
Rolf Hennicker, José Proença, Maurice H. ter Beek, Guillermina Cledou
Publication date: 21 April 2023
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication: Featured Team Automata
