Algebraic characterizations of trace and decorated trace equivalences over tree-like structures / XIAO JUN CHEN; R. DE NICOLA. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - STAMPA. - 254(1-2):(2001), pp. 337-361.
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
DE NICOLA, ROCCO
2001
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.