A thread calculus with molecular dynamics

J.A. Bergstra, C.A. Middelburg

Onderzoeksoutput: Boek/rapportRapportAcademic

116 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's40
StatusGepubliceerd - 2006

Publicatie series

NaamComputer science reports
Volume0624
ISSN van geprinte versie0926-4515

Citeer dit