January 01, 2020 conference-paper Open access Aachen paper

Team Automata@Work: On Safe Communication

Lecture notes in computer science, pp. 77–85

DOI: 10.1007/978-3-030-50029-0_5 Full text (OA) OpenAlex

Authors 3

Maurice H. ter Beek corresponding

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Affiliation as printed

ISTI–CNR, Pisa, Italy
Rolf Hennicker

Ludwig-Maximilians-Universität München

Affiliation as printed

Ludwig-Maximilians-Universität München, Munich, Germany
Jetty Kleijn Aachen

Leiden University

Affiliation as printed

LIACS, Leiden University, Leiden, The Netherlands

Cited by 4 stored of 4

4 results

No patents citing this paper on Lens.org (checked 2026-10-11).

References 20

Interface automata
2001 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) conference-paper Computer Science Formal Methods in Verification

1,179

citations
An Introduction to Input/Output Automata
2026 Formal Aspects of Computing article Computer Science Petri Nets in System Modeling Open access

1,016

citations
Composition for component-based modeling
2004 Science of Computer Programming article Computer Science Formal Methods in Verification Open access

254

citations
Modal I/O Automata for Interface and Product Line Theories
2007 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

243

citations
Synchronizations in Team Automata for Groupware Systems
2003 Computer Supported Cooperative Work (CSCW) article Computer Science Advanced Software Engineering Methodologies

76

citations
On Weak Modal Compatibility, Refinement, and the MIO Workbench
2010 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

74

citations
Component-interaction automata as a verification-oriented component-based system specification
2005 ACM SIGSOFT Software Engineering Notes article Computer Science Model-Driven Software Engineering Techniques

71

citations
Compositional specification and verification of distributed systems
1994 ACM Transactions on Programming Languages and Systems article Computer Science Formal Methods in Verification Open access

69

citations
Team automata for groupware systems
1997 conference-paper Computer Science Advanced Software Engineering Methodologies Open access

66

citations
Team automata : a formal approach to the modeling of collaboration between system components
2003 Leiden Repository (Leiden University) article Computer Science semigroups and automata theory Open access

50

citations
Team Automata Satisfying Compositionality
2003 Lecture notes in computer science conference-paper Computer Science semigroups and automata theory

29

citations
A generic framework for n -protocol compatibility checking
2011 Science of Computer Programming article Computer Science Service-Oriented Architecture and Web Services Open access

25

citations
Input/Output Compatibility of Reactive Systems
2002 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

19

citations
Compatibility in a multi-component environment
2013 Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

19

citations
Communication Requirements for Team Automata
2017 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

18

citations
Java & Lambda: a Featherweight Story
2018 Logical Methods in Computer Science article Computer Science Logic, programming, and type systems Open access

14

citations
Modularity for teams of I/O automata
2005 Information Processing Letters article Computer Science Formal Methods in Verification

11

citations
Conditions for Compatibility of Components
2016 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

10

citations
Compatibility Properties of Synchronously and Asynchronously Communicating Components
2018 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

9

citations
Compatibility Properties of Synchronously and Asynchronously Communicating Components
2016 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

4

citations

20 results