Vector team automata

DOI10.1016/J.TCS.2011.12.020zbMath1252.68205OpenAlexW2040071368MaRDI QIDQ418753

Maurice H. ter Beek, H. C. M. Kleijn

Publication date: 30 May 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.020

zbMATH Keywords

synchronizationPetri netindividual token net controllermodel translationteam automatonvector controlled concurrent systemvector team automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Can we communicate? Using dynamic logic to verify team automata

Cites Work

• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Team Automata for CSCW – A Survey –
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Vector team automata