Inproceedings,

Algebra of Communicating Processes with Abstractions

, and .
Theoretical Computer Science, 33, page 77-121. Netherlands, (1985)

Meta data

Tags

Users

  • @hennig

Comments and Reviews