Some simple calculations in relative discrete time process algebra

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

25 Downloads (Pure)
Original languageEnglish
Title of host publicationSimplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz
EditorsE.H.L. Aarts, H.M.M. Eikelder, ten, C. Hemerik, M. Rem
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Pages67-74
ISBN (Print)90-386-0197-2
Publication statusPublished - 1995

Cite this

Baeten, J. C. M., & Bergstra, J. A. (1995). Some simple calculations in relative discrete time process algebra. In E. H. L. Aarts, H. M. M. Eikelder, ten, C. Hemerik, & M. Rem (Eds.), Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz (pp. 67-74). Technische Universiteit Eindhoven.