Didier Galmiche, Timo Lang, David J. Pym. Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning. In Angel A. Juan, Jose-Luis Guisado-Lizar, María José Morón-Fernández, Elena Pérez-Bernabeu, editors, Simulation Tools and Techniques - 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings. Volume 603 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 48-71, Springer, 2024. [doi]
Abstract is missing.