Vector team automata

Authors:
Maurice H. ter Beek;Jetty Kleijn
Affiliations:
ISTICNR, Via G. Moruzzi 1, 56124 Pisa, Italy;LIACS, Universiteit Leiden, P.O. Box 9512, 2300 RA Leiden, The Netherlands
Venue:
Theoretical Computer Science
Year:
2012

Citing 5
Cited 0

Vector controlled concurrent systems. Part I: basic classes

Fundamenta Informaticae
Vector controlled concurrent systems, part II: comparisons

Fundamenta Informaticae
Synchronizations in Team Automata for Groupware Systems

Computer Supported Cooperative Work
Towards Team-Automata-Driven Object-Oriented Collaborative Work

Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Team automata for spatial access control

ECSCW'01 Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work

Quantified Score

Hi-index	5.23

Visualization

Abstract

Vector team automata are team automata with an explicit representation of synchronizations. This makes a translation possible of a subclass of vector team automata into individual token net controllers, a model of labeled Petri nets developed within the framework of vector controlled concurrent systems.