Nobuko

Results: 52



#Item
1

Protocol-based Verification of Message-passing Parallel Programs Hugo A. L´opez, Eduardo R. B. Marques, Francisco Martins, C´esar Santos, Vasco T. Vasconcelos Nicholas Ng, Nobuko Yoshida University of Lisbon

Add to Reading List

Source URL: proglang.informatik.uni-freiburg.de

- Date: 2017-10-04 11:31:52
    2

    Staff of the Ohara Institute for Social Research (April, 2014-March, 2015) Director Nobuko Hara (Professor, Faculty of Economics) Deputy Director Akira Suzuki (Professor, the Ohara Institute for Social Research)

    Add to Reading List

    Source URL: oohara.mt.tama.hosei.ac.jp

    - Date: 2014-11-18 00:42:53
      3

      Using session types as an effect system Dominic Orchard Nobuko Yoshida Imperial College London, UK

      Add to Reading List

      Source URL: www.doc.ic.ac.uk

      - Date: 2015-10-30 16:15:01
        4

        Globally Governed Session Semantics Dimitrios Kouzapas and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new bisimulation theory based on multiparty session types where a choreography specificati

        Add to Reading List

        Source URL: www.doc.ic.ac.uk

        - Date: 2013-04-16 10:29:34
          5

          From Communicating Machines to Graphical Choreographies Julien Lange Nobuko Yoshida Emilio Tuosto

          Add to Reading List

          Source URL: lra.le.ac.uk

          - Date: 2015-03-27 23:00:22
            6

            Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions Mario Coppo1 , Mariangiola Dezani-Ciancaglini1 , Luca Padovani1 , and Nobuko Yoshida2 1 2

            Add to Reading List

            Source URL: www.di.unito.it

            - Date: 2016-10-26 11:43:50
              7

              Lightweight Session Programming in Scala∗ Alceste Scalas1 and Nobuko Yoshida2 1 Imperial College London, UK

              Add to Reading List

              Source URL: drops.dagstuhl.de

              - Date: 2016-07-18 08:05:59
                8

                Multiparty Asynchronous Session Types Kohei Honda Nobuko Yoshida Marco Carbone

                Add to Reading List

                Source URL: www.doc.ic.ac.uk

                - Date: 2012-05-16 11:53:23
                  9

                  Global Progress in Dynamically Merged Multiparty Sessions Lorenzo Bettini1 , Mario Coppo1 , Loris D’Antoni1 , Marco De Luca1 , Mariangiola Dezani-Ciancaglini1 , and Nobuko Yoshida2 1 2

                  Add to Reading List

                  Source URL: www.doc.ic.ac.uk

                  - Date: 2008-04-14 07:24:09
                    10

                    Multiparty Session Nets Luca Fossati1 , Raymond Hu2 , and Nobuko Yoshida2 1 University of Cambridge

                    Add to Reading List

                    Source URL: www.doc.ic.ac.uk

                    - Date: 2014-05-06 05:44:50
                      UPDATE