Denotational semantics of the Actor model

#	Item
1	Function Extraction Technology: Computing the Behavior of Malware Rick Linger, Kirk Sayre, Tim Daly, Mark Pleszkoch CERT, Software Engineering Institute Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2010-08-30 12:03:23 Malware Models of computation Algorithm Software bug KeY Control theory Actor model MS Antivirus Denotational semantics Theoretical computer science Applied mathematics Computing
2	For the ACS course Advanced Topics in Concurrency Event Structures, Stable Families and Concurrent Games Glynn Winskel [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 13:06:24 Computer science Applied mathematics Concurrency Denotational semantics Actor model Petri net Game semantics Domain theory Semantics Theoretical computer science Models of computation Logic in computer science
3	PDF Document Add to Reading List Source URL: dspace.mit.edu Language: English - Date: 2008-09-19 03:02:25 Logic in computer science Concurrency Concurrent computing Axiom Combinatory logic Parallel computing Everything2 Denotational semantics of the Actor model Actor model theory Theoretical computer science Actor model Computing