Testing equivalences and fully abstract models for communication processes

Files

DeNicola1986_redux.pdf (59.25 MB)

Date

Authors

De Nicola, Rocco

URI

http://hdl.handle.net/1842/16979

This item appears in the following Collection(s)

Informatics thesis and dissertation collection