Top-Down Design and the Algebra of Communicating Processes
暂无分享,去创建一个
[1] P. Hilfinger. Review of "The Ada programming language by Ian C. Pyle", Prentice-Hall, Inc., Englewood Cliffs, N.J., 1981. , 1982, ALET.
[2] Jan A. Bergstra,et al. Process Algebra for Synchronous Communication , 1984, Inf. Control..
[3] Christoph M. Hoffmann,et al. Pattern Matching in Trees , 1982, JACM.
[4] J. W. de Bakker,et al. Processes and the Denotational Semantics of Concurrency , 1982, Inf. Control..
[5] Matthew Hennessy,et al. A Term Model for Synchronous Processes , 1981, Inf. Control..
[6] C. A. R. Hoare,et al. A Theory of Communicating Sequential Processes , 1984, JACM.
[7] Joseph A. Goguen,et al. Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.
[8] C. A. R. Hoare,et al. Specification-Oriented Semantics for Communicating Processes , 1983, ICALP.
[9] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[10] Jan A. Bergstra,et al. The Algebra of Recursively Defined Processes and the Algebra of Regular Processes , 1984, ICALP.
[11] Jan A. Bergstra,et al. Algebraic Tools for System Construction , 1983, Logic of Programs.
[12] Allen Newell,et al. Computer Structures: Readings and Examples, , 1971 .
[13] Mordechai Ben-Ari,et al. Principles of concurrent programming , 1982 .
[14] J. W. de Bakker,et al. Denotational semantics of concurrency , 1982, STOC '82.