01490nlm0 22004211i 450 9900092413604033219783540744078000924136FED01000924136(Aleph)000924136FED0100092413620100926d2007----km-y0itay50------baengDEdrnn-008mamaaCONCUR 2007 – Concurrency TheoryRisorsa elettronica18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedingsedited by Luís Caires, Vasco T. VasconcelosBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434703Documento elettronicoTestoFormato html, pdfCaires,LuísVasconcelos,Vasco T.ITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-74407-8EB990009241360403321Computation by Abstract DevicesComputer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersProgramming TechniquesCONCUR 2007 – Concurrency Theory772427UNINA