Davide Sangiorgi

Results: 10



#Item
1Environmental Bisimulations for Higher-Order Languages Davide Sangiorgi University of Bologna Abstract

Environmental Bisimulations for Higher-Order Languages Davide Sangiorgi University of Bologna Abstract

Add to Reading List

Source URL: www-kb.is.s.u-tokyo.ac.jp

Language: English - Date: 2007-08-16 22:48:54
    2ICE, Florence, JuneFocus Team, University of Bologna/INRIA Davide Sangiorgi

    ICE, Florence, JuneFocus Team, University of Bologna/INRIA Davide Sangiorgi

    Add to Reading List

    Source URL: www.cs.unibo.it

    - Date: 2013-09-19 07:08:32
      3Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/

      Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/

      Add to Reading List

      Source URL: events.inf.ed.ac.uk

      Language: English - Date: 2012-10-10 03:52:07
      4Final Program NWPT’October 2007, Oslo, Norway Wednesday October 10th Chair: Gerardo Schneider: 13:30 Invited Talk. Gilles Barthe:

      Final Program NWPT’October 2007, Oslo, Norway Wednesday October 10th Chair: Gerardo Schneider: 13:30 Invited Talk. Gilles Barthe:

      Add to Reading List

      Source URL: nwpt07.ifi.uio.no

      Language: English - Date: 2007-10-05 08:06:40
      5The Discriminating Power of Higher-Order Languages: A Process Algebraic Approach Valeria Vignudelli University of Bologna & Inria FOCUS (joint work with Marco Bernardo and Davide Sangiorgi)

      The Discriminating Power of Higher-Order Languages: A Process Algebraic Approach Valeria Vignudelli University of Bologna & Inria FOCUS (joint work with Marco Bernardo and Davide Sangiorgi)

      Add to Reading List

      Source URL: forsyte.at

      Language: English - Date: 2016-04-22 04:17:31
        6A Hybrid Type System for Lock-Freedom of Mobile Processes1 Naoki Kobayashi Tohoku University and Davide Sangiorgi

        A Hybrid Type System for Lock-Freedom of Mobile Processes1 Naoki Kobayashi Tohoku University and Davide Sangiorgi

        Add to Reading List

        Source URL: www.kb.ecei.tohoku.ac.jp

        Language: English - Date: 2011-07-20 20:51:23
          7A Hybrid Type System for Lock-Freedom of Mobile Processes1 Naoki Kobayashi Tohoku University and Davide Sangiorgi

          A Hybrid Type System for Lock-Freedom of Mobile Processes1 Naoki Kobayashi Tohoku University and Davide Sangiorgi

          Add to Reading List

          Source URL: www-kb.is.s.u-tokyo.ac.jp

          Language: English - Date: 2011-07-20 20:51:23
            8Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi

            Session Types Revisited Ornela Dardha Elena Giachino Davide Sangiorgi

            Add to Reading List

            Source URL: www.dcs.gla.ac.uk

            Language: English - Date: 2013-12-29 19:43:45
            9Semantics of processes: behavioural equivalences and proof techniques Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜sangio/

            Semantics of processes: behavioural equivalences and proof techniques Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜sangio/

            Add to Reading List

            Source URL: www2.imm.dtu.dk

            - Date: 2006-08-01 13:30:52
              10On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C

              On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C

              Add to Reading List

              Source URL: www.cs.unibo.it

              Language: English - Date: 2009-04-06 03:37:20