The TOOLBUS Coordination Architecture
暂无分享,去创建一个
[1] Sjouke Mauw,et al. Algebraic Specification of Communication Protocols: Frontmatter , 1983 .
[2] Jan A. Bergstra,et al. Process Algebra for Synchronous Communication , 1984, Inf. Control..
[3] Andrew S. Tanenbaum,et al. Distributed operating systems , 2009, CSUR.
[4] Luca Cardelli,et al. Squeak: a language for communicating with mice , 1985, SIGGRAPH.
[5] Ralph D. Hill,et al. Supporting concurrency, communication, and synchronization in human-computer interaction—the Sassafras UIMS , 1986, TOGS.
[6] Rubén Prieto-Díaz,et al. Module interconnection languages , 1986, J. Syst. Softw..
[7] Mark Green,et al. A survey of three dialogue models , 1986, TOGS.
[8] H. P Nii,et al. Blackboard Systems , 1986 .
[9] Brad J. Cox,et al. Object-oriented programming ; an evolutionary approach , 1986 .
[10] Phillip B. Gibbons. A Stub Generator for Multilanguage RPC in Heterogeneous Environments , 1987, IEEE Transactions on Software Engineering.
[11] Brian N. Bershad,et al. A Remote Procedure Call Facility for Interconnecting Heterogeneous Computer Systems , 1987, IEEE Transactions on Software Engineering.
[12] Jan van den Bos,et al. Abstract interaction tools: a language for user interface management systems , 1988, TOPL.
[13] Paul Klint,et al. The syntax definition formalism SDF—reference manual— , 1989, SIGP.
[14] Nicholas Carriero,et al. Linda in context , 1989, CACM.
[15] Deborah Hix,et al. Human-computer interface development: concepts and systems for its management , 1989, CSUR.
[16] Jan A. Bergstra,et al. Algebraic specification , 1989 .
[17] David Garlan,et al. Low-cost, adaptable tool integration policies for integrated environments , 1990 .
[18] Sjouke Mauw,et al. A process specification formalism , 1990 .
[19] Dominique Clément. A distributed architecture for programming environments , 1990 .
[20] Daniel Le Métayer,et al. The GAMMA Model and Its Discipline of Programming , 1990, Sci. Comput. Program..
[21] Steven P. Reiss,et al. Connecting tools using message passing in the Field environment , 1990, IEEE Software.
[22] Brad A. Myers,et al. Languages for developing user interfaces , 1992 .
[23] James M. Purtilo,et al. Integrating the heterogeneous control properties of software modules , 1992 .
[24] Nicholas Carriero,et al. Coordination languages and their significance , 1992, CACM.
[25] Paul Klint,et al. A meta-environment for generating programming environments , 1989, TSEM.
[26] Farhad Arbab,et al. An overview of manifold and its implementation , 1993, Concurr. Pract. Exp..
[27] M. Boasson. Control systems software , 1993 .
[28] Daniel Le Métayer,et al. Programming by multiset transformation , 1993, CACM.
[29] H. R. Walters,et al. ARM abstract rewriting machine , 1993 .
[30] James M. Purtilo,et al. The POLYLITH software bus , 1994, TOPL.
[31] Kevin Crowston,et al. The interdisciplinary study of coordination , 1994, CSUR.
[32] David Garlan,et al. Formal Connectors , 1994 .
[33] Frances M. T. Brazier,et al. Distributed Open Systems , 1994 .
[34] Dave Cash,et al. Integration technology for CASE : Richard Daley (editor) Avebury Technical, Ashgate Publishing Ltd (1993) 153 pp £49.50 ISBN 0 291 39797 2 , 1995, Inf. Softw. Technol..
[35] Jan Friso Groote,et al. Syntax and semantics of CRL , 1995 .
[36] J. F. Groote,et al. Specification and implementation of components of a μCRL toolbox , 1995 .
[37] Pieter A. Olivier,et al. A Simulator Framework for Embedded Systems , 1996, COORDINATION.
[38] Jan A. Bergstra,et al. The Discrete Time TOOLBUS , 1996, AMAST.