LO and behold! Concurrent structured processes
暂无分享,去创建一个
[1] J. Meseguer. Rewriting as a unified model of concurrency , 1990, OOPSLA/ECOOP '90.
[2] Patrick Lincoln,et al. Linear logic , 1992, SIGA.
[3] Ehud Shapiro,et al. A subset of Concurrent Prolog and its interpreter , 1988 .
[4] Steve Gregory,et al. Parallel logic programming in parlo9 , 1987 .
[5] Daniel G. Bobrow,et al. Channels: A Generalization of Streams , 1988, ICLP.
[6] Jean-Marc Andreoli,et al. Logic Programming with Sequent Systems, A Linear Logic Approach , 1989, ELP.
[7] Jean-Marc Andreoli. Proposition pour une synthese des paradigmes de la programmation logique et de la programmation par objets , 1990 .
[8] Ehud Shapiro,et al. The family of concurrent logic programming languages , 1989, CSUR.
[9] Henry Lieberman,et al. Concurrent object-oriented programming in Act 1 , 1987 .
[10] MeseguerJosé. Conditional rewriting logic as a unified model of concurrency , 1992 .
[11] Dana S. Scott,et al. Concurrent constraint programming languages , 1989 .
[12] John S. Conery,et al. Logical Objects , 1988, ICLP/SLP.
[13] Andrew Davison,et al. Polka: a parlog object oriented language , 1989 .
[14] J. Girard,et al. Proofs and types , 1989 .
[15] Amir Pnueli,et al. On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.
[16] Daniel G. Bobrow,et al. Vulcan: Logical Concurrent Objects , 1987, Research Directions in Object-Oriented Programming.
[17] C. Hewitt. The challenge of open systems , 1990 .
[18] Steve Gregory,et al. Parallel logic programming in PARLOG - the language and its implementation , 1987 .
[19] Carl Hewitt,et al. Actors: A Conceptual Foundation for Concurrent Object-Oriented Programming , 1987, Research Directions in Object-Oriented Programming.
[20] Klaus-Peter Löhr,et al. Object-Oriented Concurrent Programming , 1992, TOOLS.