Decidability Problems for Actor Systems / Frank S. Boer;Mahdi M. Jaghoori;Cosimo Laneve;Gianluigi Zavattaro. - STAMPA. - 7454:(2012), pp. 562-577. (Intervento presentato al convegno CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012 tenutosi a Newcastle upon Tyne, UK nel September 4-7, 2012) [10.1007/978-3-642-32940-1_39].
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.