Logic for concurrency and synchronisation

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Kaituhi rangatōpū: ebrary, Inc
Ētahi atu kaituhi: Queiroz, Ruy J. G. B. de
Hōputu: Tāhiko īPukapuka
Reo:Ingarihi
I whakaputaina: Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
Rangatū:Trends in logic ; v. 18.
Ngā marau:
Urunga tuihono:An electronic book accessible through the World Wide Web; click to view
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
Whakaahuatanga
Whakaahuatanga ōkiko:xxi, 284 p. : ill.
Rārangi puna kōrero:Includes bibliographical references.