Agha, Gul.
Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / [electronic resource] : edited by Gul Agha, Olivier Danvy, José Meseguer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 7000 0302-9743 ; . - Lecture Notes in Computer Science, 7000 .
9783642249334
10.1007/978-3-642-24933-4 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Programming Techniques.
Mathematical Logic and Formal Languages.
QA76.758
005.1
Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / [electronic resource] : edited by Gul Agha, Olivier Danvy, José Meseguer. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 7000 0302-9743 ; . - Lecture Notes in Computer Science, 7000 .
9783642249334
10.1007/978-3-642-24933-4 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Programming Techniques.
Mathematical Logic and Formal Languages.
QA76.758
005.1