| Bakery Algorithm |
Lamport, L. |
1974-08 |
Computing Foundations |
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 |
|
| Co-operating Sequential Processes |
Dijkstra, E. W. |
1966 |
Computing Foundations |
Has Notes |
|
| Communicating Sequential Processes |
Hoare, C. A. R. |
1978 |
Computing Foundations |
Has Notes |
|
| The Computer Science of Concurrency: the Early Years |
Lamport, L. |
2015-05 |
Computing Foundations |
Has Notes |
|
| Contracts for Concurrency |
Nienaltowski, P.; Meyer, B.; Ostroff, J. S. |
2009 |
Software Design |
Has Notes |
|
| Death March |
Yourdon, Edward |
2004 |
Software Engineering Management |
Has Episode |
Ep
|
| Defining Liveness |
Alpern, B.; Schneider, F. B. |
1985-10 |
Computing Foundations |
Has Notes |
|
| Elements of Software Science |
Halstead, M. H. |
1977-05 |
Software Engineering Process |
Unread |
|
| Erlang |
Armstrong, J. |
2010-09 |
Software Design |
Has Notes |
|
| The F# Asynchronous Programming Model |
Syme, D.; Petricek, T.; Lomov, D. |
2011 |
Software Design |
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 |
|
| LAMBDA: The Ultimate Declarative |
Steele, G. L. |
1976-11 |
Computing Foundations |
Has Notes |
|
| LAMBDA: the Ultimate Imperative |
Steele, G. L.; Sussman, G. J. |
1976-03-10 |
Computing Foundations |
Has Notes |
|
| MPI: a Message-Passing Interface |
MPI Forum |
1993 |
Software Design |
Has Notes |
|
| Notation as a Tool of Thought |
Iverson, K.E. |
1979 |
Software Design |
Unread |
|
| The Notions of Time and Global State in a Distributed System |
Antoniadis, K.; Geurraoui, R. |
2015-05 |
Computing Foundations |
Has Notes |
|
| On the Criteria To Be Used in Decomposing Systems into Modules |
Parnas, D. |
1971-08 |
Software Architecture |
Has Notes |
|
| An Overview of Actor Languages |
Agha, G. |
1986-06 |
Software Design |
Has Notes |
|
| A Plea for Lean Software |
Wirth, Niklaus |
1995 |
Software Design |
Has Episode |
Ep
|
| Principles of Transaction-Oriented Database Recovery |
Haerder, T.; Reuter, A. |
1983-12 |
Computing Foundations |
Has Notes |
|
| Program Development by Stepwise Refinement |
Wirth, N. |
1971-04 |
Software Construction |
Has Notes |
|
| Programming by Action Clusters |
Naur, P. |
1969-07 |
Software Requirements |
Has Notes |
|
| Proof of a Program: FIND |
Hoare, C. A. R. |
1971-01 |
Software Engineering Models and Methods |
Has Notes |
|