|
Scheda bibliografica proveniente da importazione di metadati da altro sistema |
| Tipo: |
Testo a stampa, Risorsa analitica |
| É contributo di: |
Optimization techniques |
| Titolo: |
A fully observational model for infinite behaviours of communicating systems |
| Pubblicazione: |
Berlin ; Heidelberg ; New York : Springer, 1975 |
| Descrizione fisica: |
153-168 |
| Titolo uniforme: |
Optimization techniques |
| Numeri standard: |
DOI 10.1007/3-540-17660-8_54  |
| Sommario o abstract: |
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: |
| Altre responsabilità: |
Ph Darondeau
B. Gamatie |
| Classificazione Dewey: |
519.7 ed.22 Programmazione |
| Lingua della pubblicazione: |
Inglese |
| Paese di pubblicazione: |
Germania ; Stati Uniti d'America |
| Codice identificativo: |
IT/ItRC/00017612 |
| data di importazione: |
01-01-2014 |
|
Full text |
Lista sintetica
CNR - Area della Ricerca di Genova Servizio di Documentazione Scientifica
SEI QUI: HOME
SCHEDA BIBLIOGRAFICA
