Concurrent program schemes and their interpretations (1977)

by A Mazurkiewicz