A compositional proof theory for real-time distributed message passing

J.J.M. Hooman

Onderzoeksoutput: Boek/rapportRapportAcademic

98 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's48
StatusGepubliceerd - 1986

Publicatie series

NaamComputing science notes
Volume8610

Citeer dit