Real time process algebra with infinitesimals

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

83 Downloads (Pure)
Original languageEnglish
Title of host publicationAlgebra of communicating processes, proceedings of ACP94, Utrecht, 16-17 May 1994
EditorsA.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
Place of PublicationBerlin
PublisherSpringer
Pages148-187
ISBN (Print)3-540-19909-8
Publication statusPublished - 1995

Publication series

NameWorkshops in Computing

Cite this