Real time process algebra with infinitesimals

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

86 Downloads (Pure)
Originele taal-2Engels
TitelAlgebra of communicating processes, proceedings of ACP94, Utrecht, 16-17 May 1994
RedacteurenA.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
Plaats van productieBerlin
UitgeverijSpringer
Pagina's148-187
ISBN van geprinte versie3-540-19909-8
StatusGepubliceerd - 1995

Publicatie series

NaamWorkshops in Computing

Citeer dit