Process algebra with signals and conditions

Publication date

1990

Authors

Baeten, J.C.M.
Bergstra, J.A.

Editors

Advisors

Supervisors

DOI

Document Type

Part of book or chapter of book

License