Вы здесь

Milner R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Calculi for Synchrony and Asynchrony 1982 Milner R. Univ.Edinburgh 19.03.2004
СТ Operational and Algebraic Semantics of Concurrent Processes 1994 Milner R. Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B 27.01.1998
СТ Calculi for Interaction 1996 Milner R. Acta Informatica 26.12.1996
П A Metalanguage for Interactive Proof in LCF 1977 Gordon M., Milner R., Morris L., Newey M., Wadsworth C. Univ.Edinburgh 20.06.1995
СТ Models of LCF 1976 Milner R. Univ.Edinburgh Mathem. Centre Tracts 02.06.1995
СТ Higher-order Action Calculi 1994 Milner R. Lecture Notes in Computer Science 25.08.1994
СТ Pi-nets: A Graphical Form of -calculus 1994 Milner R. Lecture Notes in Computer Science 06.05.1994
СТ Action Calculi, or Syntactic Action Structures 1993 Milner R. Lecture Notes in Computer Science 20.10.1993
СТ An Action Structure for Synchronous -Calculus 1993 Milner R. Lecture Notes in Computer Science 16.09.1993
СТ Turing Award Lecture: Elements of Interaction 1993 Milner R. Communications of the ACM 04.02.1993
СТ The Problem of "weak bisimulation up to" 1992 Sangiorgi D., Milner R. Lecture Notes in Computer Science 16.10.1992
П The Definition of Standart ML Version 3 1989 Harper R., Milner R., Tofte M. Univ.Edinburgh 05.06.1992
П Co-induction in Relational Semantics 1989 Milner R., Tofte M. Univ.Edinburgh 13.02.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Automata Languages and Programming: Proc./Third International Colloquium at the University of Edinburgh, July 1976 1976
  1. Michaelson S.
  2. Milner R.
09.10.1976