Process algebra with signals and conditions

DSpace/Manakin Repository

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

(1990) Programming and mathematical method : proceedings of the NATO Advanced Study Institute, pp. 273 - 323

(Part of book or chapter of book)

Download/Full Text

The full text of this publication is not available.

Publisher: Springer-Verlag

See more statistics about this item