A tool for the model-based specification of open distributed systems

JOSÉ RAÚL ROMERO SALGUERO2026-01-292026-01-29201310.1093/comjnl/bxs0212-s2.0-84880092489https://www.scopus.com/inward/record.uri?eid=2-s2.https://ucocris.uco.es/handle/123456789/24657Computer Science (all)Computer Science (all)A tool for the model-based specification of open distributed systemsresearch article