Bibliography

G.R. Andrews, (1991). Concurrent Programming: Principles and Practice. Redwood City, CA: Benjamin/Cummings Publishing Company.

T. Ball, and S.K. Rajamani, (2002). The SLAM Project: Debugging System Software via Static Analysis. POPL 2002, 1–3.

R.M. Balzer, (1971). PORTS: a method for dynamic interprogram communication and job control. Proceedings AFIPS SJCC Computer Conference, 39, 485–489.

M. Ben-Ari, (1990). Principles of Concurrent and Distributed Programming. Prentice-Hall International Series in Computer Science.

G.M. Birtwistle,, O. Dahl,, B. Myhrhaug, and K. Nygaard, (1973). SIMULA BEGIN. New York: Van Nostrand Reinhold.

G. Booch, (1986). Object-oriented development. IEEE Transactions on Software Engineering SE-12, 2 (February), 211–221.

G. Booch,, J. Rumbaugh, and I. Jacobson, (1998). Unified Modeling Language User Guide. Addison-Wesley Object Technology Series.

G. Brat,, K. Havelund,, S. Park, and W. Visser, (2000). Java PathFinder – Second Generation of a Java Model Checker. Workshop on Advances in Verification.

P. Brinch-Hansen, (1970). The nucleus of a multiprogramming system. Communications of the ACM 13, 4 (April), 238–241.

P. Brinch-Hansen, (1972). Structured multiprogramming. Communications of the ACM 15, 7 (July), 574–578.

P. Brinch-Hansen, (1975). The programming language Concurrent Pascal. IEEE Transactions on Software Engineering SE-1, 2 (June), 199–206.

Per Brinch Hansen, (2002). The Origins of Concurrent Programming: From Semaphores to Remote Procedure Calls ...

Get Concurrency: State Models and Java Programs now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial