A fully observational model for infinite behaviours of communicating systems
Si trova su / Altri legami
This paper is concerned with the relation of abstraction between operational and observational models for linear time semantics of C.C.S. We construct a compositional and fully abstract model for CCS under infinite (program defined) experiments which give maximal power of separation. The construction is in two stages:
| # | Istituto/Sede | Collocazione | Inventario patrimoniale |
|---|---|---|---|
| Area della ricerca di Genova, Servizio di Documentazione Scientifica | Sede di Genova |
