Originalsprog | Engelsk |
---|---|
Titel | Handbook of Process Algebra |
Redaktører | Bergstra, J. : Ponse, A. : Smolka, S. (eds.) |
Udgivelsessted | Amsterdam |
Forlag | Pergamon Press |
Publikationsdato | 2001 |
ISBN (Trykt) | 0444828303 |
Status | Udgivet - 2001 |
Symbolic Methods for Bisimulation Checking for Value-Passing Processes
Anna Ingolfsdottir, H. Lin
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning