Structural Operational Semantics

Luca Aceto, J. Fokkink, C. Verhoef

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

1 Citationer (Scopus)
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 3, pp. 197-292

Citationsformater