Вы здесь

Главная

Sassone V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Semantics of Petri Nets 1992 Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 16.10.1992
СТ Deterministic Behavioural Models for Concurrency 1993 Sassone V., Nielsen M., Winskel G. Lecture Notes in Computer Science 21.10.1993
СТ A Classification of Models for Concurrency 1993 Sassone V., Nielsen M., Winskel G. Lecture Notes in Computer Science 19.10.1993
СТ Relationships Between Models of Concurrency 1994 Nielsen M., Sassone V., Winskel G. Lecture Notes in Computer Science 05.08.1994
СТ On the Model of Computation of Place/Transition Petri Nets 1994 Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 21.07.1994
СТ Axiomatizing Petri Net Concatenable Processes 1995 Sassone V. Lecture Notes in Computer Science Fundamentals of Computation Theory 18.10.1995
СТ Characterizing Behavioural Congruences for Petri Nets 1995 Nielsen M., Priese L., Sassone V. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995
СТ On the Category of Petri Net Computations 1995 Sassone V. Lecture Notes in Computer Science 16.06.1995
СТ Representation Theorems for Petri Nets 1997 Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 28.11.1997
СТ A Comparison of Petri Net Semantics under the Collective Token Philosophy 1998 Bruni R., Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 18.12.1998
СТ High-Level Petri Nets as Type Theories in the Join Calculus 2001 Buscemi M. G., Sassone V. Lecture Notes in Computer Science 05.05.2001
СТ Properties of Distributed Timed-Arc Petri Nets 2001 Nielsen M., Sassone V., Srba J. Lecture Notes in Computer Science 22.12.2001
СТ A Dependently Typed Ambient Calculus 2004 Lhoussaine C., Sassone V. Lecture Notes in Computer Science 23.04.2004

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ CONCUR 96: Concurrency Theory: Proc./7th International Conference. Pisa,Italy,August 1996 1996 Lecture Notes in Computer Science
  1. Montanari U.
  2. Sassone V.
 04.10.1996
СБ Foundations of Software Science and Computation Structures: Proc./8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005 2005 Lecture Notes in Computer Science
  1. Sassone V.
 29.07.2005
СБ Automata, Languages, and Programming: Part II: Proc./33rd International Colloquium, ICALP 2006. Venice, Italy, July 2006 2006 Lecture Notes in Computer Science
  1. Bulgiesi M.
  2. Preneel B.
  3. Sassone V.
  4. Wegener I.
 31.08.2006
СБ Automata, Languages, and Programming: Part I: Proc./33rd International Colloquium, ICALP 2006. Venice, Italy, July 2006 2006 Lecture Notes in Computer Science
  1. Bugliesi M.
  2. Preneel B.
  3. Sassone V.
  4. Wegener I.
 31.08.2006
СБ Mathematical Foundations of Computer Science 2012: Proc./37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 2012 2012 Lecture Notes in Computer Science
  1. Rovan B.
  2. Sassone V.
  3. Widmayer P.
 03.09.2012
СБ Trustworthy Global Computing: Revised Selected Papers/6th International Symposium, TGC 2011, Aachen, Germany, June 2011 2012 Lecture Notes in Computer Science
  1. Bruni R.
  2. Sassone V.
 20.06.2012