A trace-based compositional proof theory for fault tolerant distributed systems

H.J.J.H. Schepers, J.J.M. Hooman

Onderzoeksoutput: Boek/rapport › Rapport › Academic

219 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's27
StatusGepubliceerd - 1993

Publicatie series

NaamComputing science notes
Volume9316

Toegang tot document

  • 9314335Definitieve gepubliceerde versie, 0,98 MB

    Citeer dit