Temporal theories as modularisation units for concurrent system specification
scientific article; zbMATH DE number 61207
scientific article