Specifying message passing systems requires extending temporal logic

R.L.C. Koymans

Onderzoeksoutput: Boek/rapportRapportAcademic

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

Publicatie series

NaamComputing science notes
Volume8614

Citeer dit