This paper provides an overview on recent work on Team Automata, whereby a network of
automata interacts by synchronising actions from multiple senders and receivers. We further …

Over the past decades, coordination languages emerged for modeling and implementing
concurrency protocols among components in component-based systems. Coordination …

Compatibility of components is an important issue in the quest for systems of systems that
guarantee successful communications, free from message loss and indefinite waiting for …

Modern informatics based systems are mostly composed from self-contained components.
To be useful for really big systems, composed of many components, proper abstraction …

A promising new application domain for coordination languages is expressing interaction
protocols among threads/processes in multicore programs: coordination languages typically …

Formal process languages inheriting the concurrency and communication features of
process algebras are convenient formalisms to model distributed applications, especially …

Coordination languages simplify design and development of concurrent systems.
Particularly, exogenous coordination languages, like BIP and Reo, enable system designers …

Cyber-Physical Systems are complex engineered systems where computational parts
communicate together and with physical parts describing the environment. To tame the …

Interactive scientific visualization applications have been more and more used to observe,
analyze and understand the complex phenomena studied in several scientific disciplines …

We propose, a tool for the specification and verification of coordinated multiparty distributed
systems. Relying on finite-state machines (FSMs) where transition labels look like Hoare …