Symbolic Methods for Bisimulation Checking for Value-Passing Processes

Anna Ingolfsdottir, H. Lin

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

OriginalsprogEngelsk
TitelHandbook of Process Algebra
RedaktørerBergstra, J. : Ponse, A. : Smolka, S. (eds.)
UdgivelsesstedAmsterdam
ForlagPergamon Press
Publikationsdato2001
ISBN (Trykt)0444828303
StatusUdgivet - 2001

Bibliografisk note

Chapter 7, pp. 427-478

Citationsformater