Вы здесь

Sangiorgi D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Problem of "weak bisimulation up to" 1992 Sangiorgi D., Milner R. Lecture Notes in Computer Science 16.10.1992
СТ From -calculus to Higher-Order -calculus and back 1993 Sangiorgi D. Lecture Notes in Computer Science 26.05.1993
СТ A Theory of Bisimulation for the pi-Calculus 1993 Sangiorgi D. Lecture Notes in Computer Science 19.10.1993
СТ Locality and True-concurrency in Calculi for Mobile Processes 1994 Sangiorgi D. Lecture Notes in Computer Science 05.05.1994
СТ Algebraic Theories for Name-Passing Calculi 1994 Parrow J., Sangiorgi D. Lecture Notes in Computer Science 05.08.1994
СТ A Fully Abstract Semantics for Causality in the -calculus 1995 Boreale M., Sangiorgi D. Lecture Notes in Computer Science 25.03.1995
СТ I: A Symmetric Calculus Based on Internal Mobility 1995 Sangiorgi D. Lecture Notes in Computer Science 16.06.1995
СТ Internal mobility and agent-passing calculi 1995 Sangiorgi D. Lecture Notes in Computer Science Automata, Languages and Programming 10.09.1995
СТ On the Proof Method for Bisimulation (extended abstract) 1995 Sangiorgi D. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995 24.10.1995
СТ A Theory of Bisimulation for the -calculus 1996 Sangiorgi D. Acta Informatica 07.03.1996
П Pi-Calculus, Internal Mobility, and Agent-Passing Calculi 1995 Sangiorgi D. INRIA Lecture Notes in Computer Science 06.12.1997
СТ A Fully Abstract Semantics for Causality in the Pi-calculus 1998 Boreale M., Sangiorgi D. Acta Informatica 30.05.1998
СТ Reasoning About Concurrent Systems Using Types 1999 Sangiorgi D. Lecture Notes in Computer Science 02.04.1999
СТ A Pi-Calculus Process Semantics of Concurrent Idealised ALGOL 1999 Rockl C., Sangiorgi D. Lecture Notes in Computer Science 02.04.1999
СТ Types, or: Where s the Difference between CCS and pi? 2002 Sangiorgi D. Lecture Notes in Computer Science 04.09.2002
СТ Towards an Algebraic Theory of Typed Mobile Processes 2004 Deng Y., Sangiorgi D. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.10.2004