Codice:
E167142
ISSN:
0304-3975
Dati Generali
Pubblicazioni (57)
A partial ordering semantics for CCS
ArticoloAssociative language descriptions
ArticoloComputing logcfl certificates
ArticoloEdge-colourung of join graphs
ArticoloFault Diagnosis of Grid Structures
ArticoloModulated string searching
ArticoloSynchronized shuffles
ArticoloTesting equivalences for processes
ArticoloVector Team Automata
ArticoloNo Results Found