Towards Self-organising Time-sensitive Control System's Software
暂无分享,去创建一个
[1] Robin Milner,et al. Elements of interaction: Turing award lecture , 1993, CACM.
[2] Ė. Kh. Tyugu,et al. Knowledge-Based Programming , 2004 .
[3] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[4] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[5] Adriano Valenzano,et al. MAP and TOP communications - standards and applications , 1992, Electronic systems engineering series.
[6] Jacques Ferber,et al. Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .
[7] Robin Milner,et al. Elements of interaction , 1993 .
[8] Varmo Vene,et al. Models of Attributed Automata , 1998, Informatica.
[9] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[10] Ronald C. Arkin,et al. An Behavior-based Robotics , 1998 .
[11] Edward A. Lee. Embedded Software — An Agenda for Research , 1999 .
[12] L. Motus,et al. Time concepts in real-time software , 1992 .
[13] Peter Wegner,et al. Interactive Software Technology , 1997, The Computer Science and Engineering Handbook.
[14] L Motus. Artificial intelligence in hard real-time - A new paradigm needed? , 1991 .
[15] Michael G. Rodd,et al. Timing analysis of real-time software , 1994 .
[16] Adriano Valenzano,et al. MAP and TOP communications , 1992 .
[17] Nuel Belnap,et al. The deliberative stit: A study of action, omission, ability, and obligation , 1995, J. Philos. Log..