指称语义
引用 > 其他引用

-  S. Abramsky and A. Jung: Domain theory （页面存档备份，存于）. In S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, vol. III. Oxford University Press, 1994. (ISBN 0-19-853762-X)
Irene Greif.  Semantics of Communicating Parallel Professes MIT EECS Doctoral Dissertation.  August 1975.
Gordon Plotkin.  A powerdomain construction SIAM Journal of Computing  September 1976.
Edsger Dijkstra.  A Discipline of Programming Prentice Hall.  1976.
Krzysztof R. Apt, J. W. de Bakker. Exercises in Denotational Semantics MFCS 1976: 1-11
J. W. de Bakker. Least Fixed Points Revisited Theor. Comput. Sci. 2(2): 155-181 (1976)
Carl Hewitt and Henry Baker Actors and Continuous Functionals  Proceeding of IFIP Working Conference on Formal Description of Programming Concepts. August 1-5, 1977.
Henry Baker. Actor Systems for Real-Time Computation MIT EECS Doctoral Dissertation. January 1978.
Michael Smyth.  Power domains Journal of Computer and System Sciences.  1978.
C.A.R. Hoare.  Communicating Sequential Processes CACM.  August, 1978.
George Milne and Robin Milner.  Concurrent processes and their syntax JACM.  April, 1979.
Nissim Francez, C.A.R. Hoare, Daniel Lehmann, and Willem-Paul de Roever.  Semantics of nondeterminism, concurrency, and communication  Journal of Computer and System Sciences.  December 1979.
Nancy Lynch and Michael Fischer.  On describing the behavior of distributed systems in Semantics of Concurrent Computation.  Springer-Verlag.  1979.
Jerald Schwartz Denotational semantics of parallelism in Semantics of Concurrent Computation.  Springer-Verlag.  1979.
William Wadge.  An extensional treatment of dataflow deadlock Semantics of Concurrent Computation.  Springer-Verlag.  1979.
Ralph-Johan Back. Semantics of Unbounded Nondeterminism ICALP 1980.
David Park.  On the semantics of fair parallelism Proceedings of the Winter School on Formal Software Specification.  Springer-Verlag.  1980.
-  Will Clinger, Foundations of Actor Semantics. MIT Mathematics Doctoral Dissertation, June 1981.
Lloyd Allison, A Practical Introduction to Denotational Semantics Cambridge University Press.  1987.
P. America, J. de Bakker, J. N. Kok and J. Rutten. Denotational semantics of a parallel object-oriented language Information and Computation, 83(2): 152 - 205 (1989)
David A. Schmidt, The Structure of Typed Programming Languages. MIT Press, Cambridge, Massachusetts, 1994. ISBN 0-262-69171-X.
M. Korff True concurrency semantics for single pushout graph transformations with applications to actor systems  Working papers of the Int. Workshop on Information Systems - Correctness and Reusability.  World Scientific. 1995.
M. Korff and L. Ribeiro Concurrent derivations as single pushout graph grammar processes Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation. ENTCS Vol 2, Elsevier.  1995.
Thati, Prasanna, Carolyn Talcott, and Gul Agha. Techniques for Executing and Reasoning About Specification Diagrams International Conference on Algebraic Methodology and Software Technology (AMAST), 2004.
J. C. M. Baeten. A brief history of process algebra Theoretical Computer Science.  2005.
J.C.M. Baeten, T. Basten, and M.A. Reniers. Algebra of Communicating Processes Cambridge University Press. 2005.
He Jifeng and C.A.R. Hoare. Linking Theories of Concurrency United Nations University International Institute for Software Technology UNU-IIST Report No. 328.  July, 2005.
Luca Aceto and Andrew D. Gordon (editors). Algebraic Process Calculi: The First Twenty Five Years and Beyond Process Algebra. Bertinoro, Forl`ı, Italy, August 1–5, 2005.
Bill Roscoe.  The Theory and Practice of Concurrency Prentice-Hall.  2005.
Carl Sassenrath (1999) denotational semantics （页面存档备份，存于） and the Rebol programming language
-  A. W. Roscoe: The Theory and Practice of Concurrency, Prentice Hall, ISBN 0-13-674409-5.  Revised 2005.
Carl Hewitt (2006) What is Commitment? Physical, Organizational, and Social （页面存档备份，存于）  COIN@AAMAS.  2006.