References & Links

 

 

For the learning outcomes and other context information about the course, please refer to the course page on Programs and Courses.

Further essential information and support can be found at:

• Interactive Student Information System (ISIS)
• Timetable
• Libraries
• Programs & Courses
• Academic Skills & Learning Centre
• University Counselling Centre
• ANU Rules and Policies

 

Course "Textbook"

Note that the course has its own structure and does not follow the [Ben-Ari2006] closely. It is still an excellent support for your learning and all programming paradigms which are introduced in the course are also discussed and illustrated in this book.

[Ben-Ari2006]

M. Ben-Ari
Principles of Concurrent and Distributed Programming
Addison-Wesley, second edition, 2006

 

 

Languages (and language based conceptual books)

[Ada RM 2012]

Ada Reference Manual - Language and Standard Libraries; ISO/IEC 8652:201x (E)

[Ada95RC]

DAINA; Ada 95 Reference Card; Version 1.3, 1995 DAIN

[Ada95SC]

DAINA; Ada 95 Syntax Card; Version 1.3, 1995 DAINA

[Barnes2005]

John Barnes; Programming in Ada 2005; Addison-Wesley, Pearson education, ISBN-13 978-0-321-34078-8, Harlow, England

[Berry99]

Gérard Berry; The Esterel v5 Language Primer (Version 5.91); Technical report: centre de Mathématiques Appliquées, Ecole des Mines and INRIA

[Bollella06]

Greg Bollella, Ben Brosgol, Steve Furr, David Hardin, Peter Dibble, James Gosling, Mark Turnbull & Rudy Belliardi; The Real-Time Specification for Java; http://www.rtj.org

[Burns2009]

Alan Burns & Andy Wellings; Real-Time Systems and Programming Languages; Addison Wesley, fourth edition 2009

[Burns2007]

Alan Burns & Andy Wellings; Concurrent and Real-Time Programming in Ada; Cambridge University Press, 2007

[Burns98]

Alan Burns, Andy Wellings, Andrew J. Wellings, John Barnes; Concurrency in Ada; Cambridge University Press 1998

[Chapel 1.13 Language Specification Version 0.981]

http://chapel.cray.com/docs/latest/_downloads/chapelLanguageSpec.pdf released on 7. April 2016

[Chaplin2015]

Peter Chaplin; Ada – A Crash Course

[Cohen96]

Norman H. Cohen; Ada as a second language; McGraw-Hill series in computer science, 2nd edition (out of print)

[C++11 RM]

C++11 Standard; ISO/IEC 9899:201x (N1570)

[McCormick11]

McCormick, J. W., Singhoff, F., & Hugues, J. (2011). Building Parallel, Embedded, and Real-Time Applications with Ada. Cambridge University Press, 2011.

 

 

General (computer) science background

[Ari06]

M. Ben-Ari; Principles of Concurrent and Distributed Programming; Addison_Wesley, 2006

[Bloom79]

Toby Bloom; Evaluating synchronization mechanisms; Proceedings of the seventh ACM Symposium on Operating systems principles, 1979

[Dourish01]

Paul Dourish; Where the Action Is; MIT Press, Cambrudge, Massachusetts, London, England, 2001

[Mercer97]

Clifforrd W. Mercer; Operating system resource reservation for real-time and multimedia applications; Ph.D. thesis CMU-CS-97-155, June 1997, Pittsburgh, Pennsylvania 15213-3890

[Murthy2001]

C. Siva Ram Murthy, G. Manimaran; Resource Management in Real-time Systems and Networks; MIT Press, Cambridge, Massachuetts, London, England

[Tanenbaum95]

Andrew S. Tanenbaum; Distributed Operating Systems; Prentice Hall Upper Saddle River, New Jersey, 1st edition, 1995

 

 

Essential early computer science papers

Again this section is for the advanced student only. Those papers belong to the early foundations of our field and they can show you how computer science grew out of mathematics, philosophy and logic into an science of its own.

[Church1932]

Alonzo Church; A set of postulates for the foundation of logic; Annals of Mathematics, Series 1932 vol. 2 (33) pp. 346-366

[Church1936]

Alonzo Church; An unsolvable problem of elementary number theory; American Journal of Mathematics 1936 vol. 58 (2) pp. 345-363

[Church1940]

Alonzo Church; A Formulation of the Simple Theory of Types; Journal of Symbolic Logic 1940 vol. 5

[Gödel1931] (Translation)

Kurt Gödel; Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I; Monatshefte für Mathematik und Physik 1931

[Huffman1954]

David A. Huffman; The synthesis of sequential switching circuits; Journal of the Franklin Institute 1954 vol. 257 (3, 4) pp. 161-190, 275-303

[Knuth76]

Donald E Knuth; Big Omicron and big Omega and big Theta; Newsletter, ACM SIGACT News, ACM New York, NY, USA (1976) vol. 8 (2)

[Mealy1955]

George H. Mealy; A method for synthesizing sequential circuits; Bell System Technical Journal 1955 vol. 34 (5) pp. 1045-1079

[Moore1956]

Edward F. Moore; Gedanken-experiments on Sequential Machines; Automata Studies, Annals of Mathematical Studies, Princeton University Press, Princeton, New Jersey 1956 vol. 34 pp. 129–153

[Neumann1945]

John von Neumann; The First Draft Report on the EDVAC; Technical report 1945

[Rice1953] ( on-line version)

Henry Gordon Rice; Classes of Recursively Enumerable Sets and Their Decision Problems; Transactions of the American Mathematical Society 1953 vol. 74 (2) pp. 358-366

[Turing1937]

Alan Turing; On computable numbers, with an application to the Entscheidungsproblem; Proceedings of the London Mathematical Society 1937 vol. 2 (42)