Vector team automata

DOI10.1016/J.TCS.2011.12.020zbMATH Open1252.68205OpenAlexW2040071368MaRDI QIDQ418753FDOQ418753

Authors Maurice H. ter Beek, Jetty 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)

Recommendations

• Team automata for CSCW -- a survey
• A calculus for team automata
• Teams of pushdown automata
• Featured Team Automata
• scientific article; zbMATH DE number 4174324

Cites work

• scientific article; zbMATH DE number 4174324 (Why is no real title available?)
• scientific article; zbMATH DE number 2087499 (Why is no real title available?)
• scientific article; zbMATH DE number 4185027 (Why is no real title available?)
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Team automata for CSCW -- a survey

Cited in

(4)

• Featured Team Automata
• Team automata for CSCW -- a survey
• Can we communicate? Using dynamic logic to verify team automata
• A calculus for team automata

This page was built for publication: Vector team automata

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