Reasoning about nondeterministic and concurrent actions: a process algebra approach / XIAO JUN, Chen; DE GIACOMO, Giuseppe. - In: ARTIFICIAL INTELLIGENCE. - ISSN 0004-3702. - 107:(1999), pp. 63-98.
Reasoning about nondeterministic and concurrent actions: a process algebra approach
DE GIACOMO, Giuseppe
1999
File allegati a 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.