Вы здесь

Главная

Aceto L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Cook s Tour of Equational Axiomatizations for Prefix Iteration 1998 Aceto L., Fokkink W., Ingolfdottir A. Lecture Notes in Computer Science 18.04.1998
СТ Timing and Causality in Process Algebra 1996 Aceto L., Murphy D. Acta Informatica 27.07.1996
СТ CPO Models for a Class of GSOS Languages 1995 Aceto L., Ingolfsdottir A. Lecture Notes in Computer Science 20.06.1995
СТ Deriving Complete Inference Systems for a Class of GSOS Languages Generating Regular Behaviours 1994 Aceto L. Lecture Notes in Computer Science 26.08.1994
СТ On the Ill-Timed but Well-Caused 1993 Aceto L., Murphy D. Lecture Notes in Computer Science 19.10.1993
СТ Termination, Deadlock, and Divergence 1992 Aceto L., Hennessy M. J. of the ACM 04.03.1992
СТ Adding Action Refinement to a Finite Process Algebra 1991 Aceto L., Hennessy M. Lecture Notes in Computer Science 12.09.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday 2017 Lecture Notes in Computer Science
  1. Aceto L.
  2. Bacci G.
  3. Ingolfsdottir A.
  4. Legay A.
 10.08.2017
СБ Automata, Languages and Programming, Part I: Proc./38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 2011 2011 Lecture Notes in Computer Science
  1. Aceto L.
  2. Henzinger M.
  3. Sgall J.
 22.09.2011
СБ Automata, Languages and Programming, Part II: Proc./38th International Colloquium, ICALP 2011, Zurich, Switzerland. July 2011 2011 Lecture Notes in Computer Science
  1. Aceto L.
  2. Henzinger M.
  3. Sgall J.
 22.09.2011
СБ Automata, Languages, and Programming: Part I: Proc./35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008 2008 Lecture Notes in Computer Science
  1. Aceto L.
  2. Damgard I.
  3. Goldberg L. A.
  4. Halldorsson M. M.
 26.08.2008
СБ Automata, Languages, and Programming: Part II: Proc./35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008 2008 Lecture Notes in Computer Science
  1. Aceto L.
  2. Damgard I.
  3. Goldberg L. A.
  4. Halldorsson M. M.
 26.08.2008
СБ Foundations of Software Science and Computation Structures: Proc./9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006 2006 Lecture Notes in Computer Science
  1. Aceto L.
  2. Ingolfsdottir A.
 23.05.2006