Algebraic characterizations of trace and decorated trace equivalences over tree-like structures / XIAO JUN, Chen; DE NICOLA, R. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 254(1-2):(2001), pp. 337-361.
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
DE NICOLA R
2001
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.
