01469nlm0 22004211i 450 9900092452804033219783540319344000924528FED01000924528(Aleph)000924528FED0100092452820100926d2005----km-y0itay50------baengDEdrnn-008mamaaCONCUR 2005 – Concurrency TheoryRisorsa elettronica16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedingsedited by Martín Abadi, Luca AlfaroBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433653Documento elettronicoTestoFormato html, pdfAbadi,MartinAlfaro,LucaITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11539452EB990009245280403321Computation by Abstract DevicesComputer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersProgramming TechniquesCONCUR 2005 – Concurrency Theory772500UNINA