Basic timed process algebra with non-existence ($BPA^{srt}_{\bot}$)

U. Khadim, P.J.L. Cuijpers

Onderzoeksoutput: Boek/rapportRapportAcademic

84 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's281
StatusGepubliceerd - 2008

Publicatie series

NaamComputer science reports
Volume0809
ISSN van geprinte versie0926-4515

Citeer dit