@dblp

Observational equivalences for concurrency models.

, , and . Formal Description of Programming Concepts, page 105-134. North-Holland, (1987)

Links and resources

Tags