Linking Theories of Concurrency

Bibliographische Detailangaben
Hauptverfasser: He, J, Hoare, C
Format: Conference item
Veröffentlicht: Springer 2005