01534nlm0 22004451i 450 9900092620604033219783642040818000926206FED01000926206(Aleph)000926206FED0100092620620100926d2009----km-y0itay50------baengDEdrnn-008mamaaCONCUR 2009 - Concurrency TheoryRisorsa elettronica20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedingsedited by Mario Bravetti, Gianluigi ZavattaroBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435710Documento elettronicoTestoFormato html, pdfBravetti,MarioZavattaro,GianluigiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-04081-8EB990009262060403321Algorithm Analysis and Problem ComplexityComputation by Abstract DevicesComputer scienceComputer ScienceComputer softwareInformation theoryLogic designLogics and Meanings of ProgramsMathematics of ComputingModels and PrinciplesTheory of ComputationCONCUR 2009 - Concurrency Theory773718UNINA