| A Calculus of Communicating Systems[1980].pdf |
12M |
[application/pdf] |
|
| A Universal Modular Actor Formalism for Artificial Intelligence[1973].pdf |
432K |
[application/pdf] |
|
| ACTORS- A Model of Concurrent Computation in Distributed Systems[1986].pdf |
40M |
[application/pdf] |
|
| Actor induction and meta-evaluation[1974].pdf |
1M |
[application/pdf] |
|
| Actor-oriented Metaprogramming[2004].pdf |
2M |
[application/pdf] |
|
| Actors and Continuous Functionals[1977].pdf |
3M |
[application/pdf] |
|
| Communicating Sequential Processes[1985].pdf |
1M |
[application/pdf] |
|
| Formalizing common sense for scalable inconsistency-robust information integration using Direct LogicTM Reasoning and the Actor Model[2008].pdf |
1M |
[application/pdf] |
|
| Foundations of Actor Semantics[1981].pdf |
17M |
[application/pdf] |
|
| Functions as Processes[1992].pdf |
2M |
[application/pdf] |
|
| Laws for Communicating Parallel Processes[1976].pdf |
1M |
[application/pdf] |
|
| Protection and Synchronization in Actor Systems[1974].pdf |
2M |
[application/pdf] |
|
| Semantics of Communicating Parallel Professes[1975].pdf |
12M |
[application/pdf] |
|
| Specification and Verification Techniques for Parallel Programs Based on Message Passing Semantics[1977].pdf |
16M |
[application/pdf] |
|
| The repeated demise of logic programming and why it will be reincarnated[2006].pdf |
228K |
[application/pdf] |
|
| What is Commitment? Physical, Organizational, and Social[2007].pdf |
216K |
[application/pdf] |
|