Process algebra semantics of φSDL

DSpace/Manakin Repository

Bergstra, J.A.; Middelburg, C.A.

(1996) Process algebra semantics of φSDL, pp. 1 - 42

(Report)

Download/Full Text

Publisher: United Nations University International Institute for Software Technology (UNU/IIS)

See more statistics about this item