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 → …

Citer dette

Hansen, M., Hüttel, H., & Kleist, J. (1995). Bisimulations for Asynchronous Mobile Processes. I Proceedings of Tbilisi Symposium on Language, Logic, and Computation
Hansen, Martin ; Hüttel, Hans ; Kleist, Josva. / Bisimulations for Asynchronous Mobile Processes. Proceedings of Tbilisi Symposium on Language, Logic, and Computation. 1995.
@inproceedings{14007fc09c2d11db8ed6000ea68e967b,
title = "Bisimulations for Asynchronous Mobile Processes",
author = "Martin Hansen and Hans H{\"u}ttel and Josva Kleist",
year = "1995",
language = "English",
booktitle = "Proceedings of Tbilisi Symposium on Language, Logic, and Computation",

}

Hansen, M, Hüttel, H & Kleist, J 1995, Bisimulations for Asynchronous Mobile Processes. i Proceedings of Tbilisi Symposium on Language, Logic, and Computation. Tbilisi Symposium on Language, Logic, and Computation, Tbilisi, Georgien, 19/05/2010.

Bisimulations for Asynchronous Mobile Processes. / Hansen, Martin; Hüttel, Hans; Kleist, Josva.

Proceedings of Tbilisi Symposium on Language, Logic, and Computation. 1995.

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

TY - GEN

T1 - Bisimulations for Asynchronous Mobile Processes

AU - Hansen, Martin

AU - Hüttel, Hans

AU - Kleist, Josva

PY - 1995

Y1 - 1995

M3 - Article in proceeding

BT - Proceedings of Tbilisi Symposium on Language, Logic, and Computation

ER -

Hansen M, Hüttel H, Kleist J. Bisimulations for Asynchronous Mobile Processes. I Proceedings of Tbilisi Symposium on Language, Logic, and Computation. 1995