?
Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science ,
2
Testing for Coordination Fidelity:
, In:
?
Proceedings of the 30th Annual ACM Symposium on Applied Computing ,
3
A calculus for attribute-based communication:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science ,
4
Model Checking Reconfigurable Interacting Systems:
, In:
?
Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022 ,
5
A PO Characterisation of Reconfiguration:
, In:
?
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems ,
7
Reconfigurable Interaction for MAS Modelling:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science ,
12