Towards Automatic Bisimilarity Checking in the Spi Calculus

A. S. Elkjær, M. Höhle, H. Hüttel, K. Overgård

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

OriginalsprogEngelsk
TitelCombinatorics, Computation & Logic 99 : Proceedings of DMTCS'99 and CATS '99, Auckland, New Zealand, 18-21 January 1999 : Australian Computer Science Communications
RedaktørerCalude, C. S. : Dinneen, M. J. (eds.)
ForlagIEEE Computer Society Press
Publikationsdato1999
UdgaveVol.21, 3
Sider175-189
ISBN (Trykt)9814021563
StatusUdgivet - 1999
BegivenhedTowards Automatic Bisimilarity Checking in the Spi Calculus -
Varighed: 19 maj 2010 → …

Konference

KonferenceTowards Automatic Bisimilarity Checking in the Spi Calculus
Periode19/05/2010 → …

Bibliografisk note

ISSN ; 0157-3055

Citationsformater