Inproceedings,

Observational equivalences for concurrency models.

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews