O'Reilly logo

Concurrency: State Models and Java Programs by Jeff Kramer, Jeff Magee

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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 ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required