Formal Modeling: Actors, Open Systems, Biological Systems
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-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 7000 0302-9743 ; .
9783642249334
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
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-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 7000 0302-9743 ; .
9783642249334
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