Interface theories for concurrency and data
scientific article; zbMATH DE number 5918229
scientific article