Weakest-Congruence Results for Livelock-Preserving Equivalences
Tutkimustuotos ›
Yksityiskohdat
| Alkuperäiskieli | Englanti |
|---|---|
| Otsikko | CONCUR'99, Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 1999 Proceedings, Lecture Notes in Computer Science |
| Toimittajat | J.C.M. Baeten, S. Mauw |
| Julkaisupaikka | Berlin |
| Kustantaja | Springer Verlag |
| Sivut | 510-524 |
| Tila | Julkaistu - 1999 |
| OKM-julkaisutyyppi | B3 Artikkeli konferenssijulkaisussa |