Team Automata Satisfying Compositionality-Reference-Cited by-同舟云学术

Team Automata Satisfying Compositionality

Published:2003 Issue: Volume: Page:381-400
ISSN:0302-9743
Container-title:FME 2003: Formal Methods
language:
Short-container-title:

Author:

ter Beek Maurice H.,Kleijn Jetty

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-45236-2_22

Reference26 articles.

1. ter Beek, M.H.: Team Automata—A Formal Approach to the Modeling of Collaboration Between System Components. Ph.D. thesis, Leiden Institute of Advanced Computer Science, Universiteit Leiden (2003)

2. ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Team Automata for CSCW. In: Weber, H., Ehrig, H., Reisig, W. (eds.) Proc. 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems. Fraunhofer Institute for Software and Systems Engineering, pp. 1–20 (2001)

3. ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in team automata for groupware systems. Computer Supported Cooperative Work—The Journal of Collaborative Computing 12(1), 21–69 (2003)

4. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier Science, Amsterdam (2001)

5. Lecture Notes in Computer Science;J. Carmona,2002

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Overview on Constrained Multiparty Synchronisation in Team Automata;Lecture Notes in Computer Science;2024

2. Team Automata: Overview and Roadmap;Lecture Notes in Computer Science;2024

3. Can We Communicate? Using Dynamic Logic to Verify Team Automata;Formal Methods;2023

4. Composing Communicating Systems, Synchronously;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020

5. Team Automata@Work: On Safe Communication;Lecture Notes in Computer Science;2020