Вы здесь

Главная

Abramsky S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Applying Game Semantics to Compositional Software Modeling and Verification 2004 Abramsky S., Ghica D. R., Murawski A. S., Ong C.-H. L. Lecture Notes in Computer Science 15.05.2004
СТ Specification Structures and Propositions-as-Types for Concurrency 1996 Abramsky S., Gay S., Nagarajan R. Lecture Notes in Computer Science 30.03.1996
СТ Causal Semantics in Process Algebra 1990 Abramsky S. Univ. di Pisa Concurrency and Compositionality 30.06.1995
СТ Full Abstraction for PCF 1994 Abramsky S., Malacaria P., Jagadeesan R. Lecture Notes in Computer Science 30.04.1994
СТ Games and Full Completeness for Multiplicative Linear Logic 1992 Abramsky S., Jagadeesan R. Lecture Notes in Computer Science 28.12.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Automata, Languages and Programming, Part I: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 2010 2010 Lecture Notes in Computer Science
  1. Abramsky S.
  2. Gavoille C.
  3. Kirchner C.
  4. Spirakis P. G.
 13.08.2010
СБ Automata, Languages and Programming, Part II: Proc./37th International Colloquium, ICALP 2010, Bordeaux, France, July 2010 2010 Lecture Notes in Computer Science
  1. Abramsky S.
  2. Gavoille C.
  3. Kirchner C.
  4. Spirakis P. G.
 13.08.2010
СБ Typed Lambda Calculi and Applications: Proc./5th Intern. Conf., TLCA 2001, Krakow, Poland, May 2001 2001 Lecture Notes in Computer Science
  1. Abramsky S.
 23.05.2001
М TAPSOFT 91: Proc./Intern. Joint Conf. Theory and Practice of Software Development, Brington, UK, April 1991. Vol.2 1991 Lecture Notes in Computer Science
  1. Abramsky S.
  2. Maibaum T.S. E.
 Advances in Distributed Computing (ADC) and Coll. Combining Paradigms for Software Development (CCPSD) 17.05.1991
М TAPSOFT 91: Proc./Intern. Joint Conf. Theory and Practice of Software Development, Brighton, UK, April 1991. Vol.1 1991 Lecture Notes in Computer Science
  1. Abramsky S.
  2. Maibaum T.S. E.
 Coll. Trees in Algebra and Programming (CAAP 91) 15.05.1991