Graded Modalities and Resource Bisimulation

Graded Modalities and Resource Bisimulation / R. De Nicola; A. Labella; F. Corradini. - STAMPA. - (1999), pp. 381-393.

trova@unifi

Titolo:	Graded Modalities and Resource Bisimulation
Autori di Ateneo:	DE NICOLA, ROCCO A. Labella F. Corradini mostra contributor esterni nascondi contributor esterni
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

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2158/2701

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.