A semantic theory for value-passing processes based on the late approach
scientific article; zbMATH DE number 1956113
scientific article