TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Weakest-Congruence Results for Livelock-Preserving Equivalences

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoCONCUR'99, Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 1999 Proceedings, Lecture Notes in Computer Science
ToimittajatJ.C.M. Baeten, S. Mauw
JulkaisupaikkaBerlin
KustantajaSpringer Verlag
Sivut510-524
TilaJulkaistu - 1999
OKM-julkaisutyyppiB3 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso