Graded Modalities and Resource Bisimulation / R. De Nicola; A. Labella; F. Corradini. - STAMPA. - (1999), pp. 381-393.
Titolo: | Graded Modalities and Resource Bisimulation |
Autori di Ateneo: | |
Autori: | DE NICOLA, ROCCO; A. Labella; F. Corradini |
Data di pubblicazione: | 1999 |
Titolo del libro: | Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Proceedings. Lecture Notes in Computer Science 1738 |
ISBN: | 9783540668367 |
Pagina iniziale: | 381 |
Pagina finale: | 393 |
Handle: | http://hdl.handle.net/2158/2701 |
Appare nelle tipologie: | 2a - Art/Cap/Saggio libro scient/tech |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.