Bisimulations for Asynchronous Mobile Processes

Martin Hansen, Hans Hüttel, Josva Kleist

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelProceedings of Tbilisi Symposium on Language, Logic, and Computation
Publikationsdato1995
StatusUdgivet - 1995
BegivenhedTbilisi Symposium on Language, Logic, and Computation - Tbilisi, Georgien
Varighed: 19 maj 2010 → …

Konference

KonferenceTbilisi Symposium on Language, Logic, and Computation
LandGeorgien
ByTbilisi
Periode19/05/2010 → …

Citationsformater