Abadi, Martín.
CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings / [electronic resource] : edited by Martín Abadi, Luca Alfaro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3653 0302-9743 ; . - Lecture Notes in Computer Science, 3653 .
9783540319344
10.1007/11539452 doi
Computer science.
Computer Communication Networks.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Computer Communication Networks.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings / [electronic resource] : edited by Martín Abadi, Luca Alfaro. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3653 0302-9743 ; . - Lecture Notes in Computer Science, 3653 .
9783540319344
10.1007/11539452 doi
Computer science.
Computer Communication Networks.
Logic design.
Computer Science.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Computer Communication Networks.
QA76.9.L63 QA76.5913 QA76.63
005.1015113