TY  - RPRT
TI  - Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
AU  - Didier Galmiche
AU  - Timo Lang
AU  - David Pym
PY  - 2024
UR  - https://arxiv.org/abs/2401.16109
ID  - 2401.16109
ER  -