Het onderzoek op dit gebied houdt zich bezig met de specificatie, het ontwerp en de analyse van gedistribueerde systemen.
Voorbeelden zijn gedistribueerde softwaresystemen, zoals Minitel en vluchtreserveringssystemen, en gedistribueerde fysieke systemen, zoals vliegvelden en CIM-systemen.
Het onderzoek concentreert zich op formalismen, methoden, gereedschappen en componenten om gedistribueerde (informatie)systemen te ontwikkelen en te onderhouden.
Naast formalismen die het datamodelleren en het procesmodelleren ondersteunen is ook een specificatiehulpmiddel ontwikkeld: ExSpect. Met dit hulpmiddel worden executeerbare specificaties opgesteld, die vervolgens in simulaties kunnen worden gebruikt ter validatie van de opgestelde specificaties.