Title: Formal Modeling Actors Open Systems Biological Systems
            
                Lecture Notes in Computer Science
Subjects: Logic design, Computer networks, Computer science, Software engineering, Formal methods (Computer science), Verification, Computer software, Computer simulation, Mathematical Logic and Formal Languages, Programming Techniques, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs