Interaction-oriented programming
暂无分享,去创建一个
[1] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[2] Nicholas Carriero,et al. Linda in context , 1989, CACM.
[3] David Garlan,et al. A formal basis for architectural connection , 1997, TSEM.
[4] Gul Agha,et al. Modular specification of interaction policies in distributed computing , 1996 .
[5] Jean Bacon. Concurrent systems - an integrated approach to operating systems, databases and distributed systems , 1993 .
[6] Tad Hogg,et al. Spawn: A Distributed Computational Economy , 1992, IEEE Trans. Software Eng..
[7] Michael B. Jones,et al. Matchmaker: an interface specification language for distributed processing , 1985, POPL.
[8] Gul Agha,et al. RTsynchronizer: language support for real-time specifications in distributed systems , 1995 .
[9] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[10] Mary Shaw,et al. Abstractions and implementations for architectural connections , 1996, Proceedings of International Conference on Configurable Distributed Systems.
[11] Marten van Sinderen,et al. Architecture and Specification Style in Formal Descriptions of Distributed Systems , 1988 .
[12] Simon L. Peyton Jones,et al. The Implementation of Functional Programming Languages , 1987 .