Hasil Pencarian - Alceste Scalas

  • Menampilkan 1 - 5 hasil dari 5
Perbaiki Hasil
  1. 1
    Choreography Synthesis as Contract Agreement

    Choreography Synthesis as Contract Agreement oleh Julien Lange, Alceste Scalas

    Diterbitkan 2013-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Multiparty Session Types, Beyond Duality (Abstract)

    Multiparty Session Types, Beyond Duality (Abstract) oleh Alceste Scalas, Nobuko Yoshida

    Diterbitkan 2017-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    The LTS WorkBench

    The LTS WorkBench oleh Alceste Scalas, Massimo Bartoletti

    Diterbitkan 2015-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Honesty by Typing

    Honesty by Typing oleh Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino

    Diterbitkan 2017-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    On the Preciseness of Subtyping in Session Types

    On the Preciseness of Subtyping in Session Types oleh Tzu-chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida

    Diterbitkan 2017-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: