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

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

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)

Cites Work

• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Team automata for CSCW -- a survey
• Title not available (Why is that?)

Cited In (4)

• Featured Team Automata
• Can we communicate? Using dynamic logic to verify team automata
• Team automata for CSCW -- a survey
• 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)