On axiomatic defintion of max-model of concurrency

Mathematical Models for the Semantics of Parallelism - Lecture Notes in Computer Science ◽

10.1007/3-540-18419-8_16 ◽

1987 ◽

pp. 199-230

Author(s):

Grazyna Mirkowska ◽

Andrzej Salwicki

Download Full-text