| An Overview of Actor Languages |
Agha, G. |
1986-06 |
Software Design |
Has Notes |
|
| Defining Liveness |
Alpern, B.; Schneider, F. B. |
1985-10 |
Computing Foundations |
Has Notes |
|
| The Notions of Time and Global State in a Distributed System |
Antoniadis, K.; Geurraoui, R. |
2015-05 |
Computing Foundations |
Has Notes |
|
| Erlang |
Armstrong, J. |
2010-09 |
Software Design |
Has Notes |
|
| Can Programming be Liberated from the Von Neumann Style?: a Functional Style and its Algebra of Programs |
Backus, J. |
1978-08 |
Computing Foundations |
Has Notes |
|
| A Theory of Communicating Sequential Processes |
Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W. |
1984-07 |
Computing Foundations |
Has Notes |
|
| Fork and Join |
Conway, M. |
1963-11 |
Computing Foundations |
Has Notes |
|
| Guarded Commands, Nondeterminacy and Formal Derivation of Programs |
Dijkstra, E. W. |
1975-08 |
Computing Foundations |
Has Notes |
|
| Co-operating Sequential Processes |
Dijkstra, E. W. |
1966 |
Computing Foundations |
Has Notes |
|
| Self-Stabilizing Systems in Spite of Distributed Control |
Dijkstra, E. W. |
1974-11 |
Computing Foundations |
Has Notes |
|
| The Structure of the 'THE' Multiprogramming System |
Dijkstra, E. W. |
1968-05 |
Software Architecture |
Has Notes |
|
| Software Engineering: Report on a conference sponsored by the NATO Science Committee |
Eds: Naur, P.; Randell, B. |
1968-10-11 |
Software Engineering Process |
Has Episode |
Ep
Ep
Ep
Ep
|
| Why do Computers Stop and What can be Done About It? |
Gray, J. |
1985-06 |
Computing Foundations |
Has Notes |
|
| Principles of Transaction-Oriented Database Recovery |
Haerder, T.; Reuter, A. |
1983-12 |
Computing Foundations |
Has Notes |
|
| Elements of Software Science |
Halstead, M. H. |
1977-05 |
Software Engineering Process |
Unread |
|
| Communicating Sequential Processes |
Hoare, C. A. R. |
1978 |
Computing Foundations |
Has Notes |
|
| Proof of a Program: FIND |
Hoare, C. A. R. |
1971-01 |
Software Engineering Models and Methods |
Has Notes |
|
| Notation as a Tool of Thought |
Iverson, K.E. |
1979 |
Software Design |
Unread |
|
| Bakery Algorithm |
Lamport, L. |
1974-08 |
Computing Foundations |
Has Notes |
|
| The Computer Science of Concurrency: the Early Years |
Lamport, L. |
2015-05 |
Computing Foundations |
Has Notes |
|
| MPI: a Message-Passing Interface |
MPI Forum |
1993 |
Software Design |
Has Notes |
|
| Programming by Action Clusters |
Naur, P. |
1969-07 |
Software Requirements |
Has Notes |
|
| Contracts for Concurrency |
Nienaltowski, P.; Meyer, B.; Ostroff, J. S. |
2009 |
Software Design |
Has Notes |
|
| On the Criteria To Be Used in Decomposing Systems into Modules |
Parnas, D. |
1971-08 |
Software Architecture |
Has Notes |
|
| LAMBDA: The Ultimate Declarative |
Steele, G. L. |
1976-11 |
Computing Foundations |
Has Notes |
|