default search action

combined dblp search
author search
venue search
publication search

ask others

11th ICE 2018: Madrid, Spain

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > ICE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-02053
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-02053
Massimo Bartoletti, Sophia Knight:
Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018. EPTCS 279, 2018
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-02468
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-02468
Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker:
Global Types for Open Systems. 4-20
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-08038
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-08038
Eric Fabre, G. Michele Pinna:
Toward a Uniform Approach to the Unfolding of Nets. 21-36
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-02469
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-02469
Roberto Guanciale, Emilio Tuosto:
Realisability of Pomsets via Communicating Automata. 37-51
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-02470
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-02470
Eduard Kamburjan, Reiner Hähnle:
Prototyping Formal System Models with Active Objects. 52-67
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-02471
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-02471
Alexandre Mansard:
Unfolding of Finite Concurrent Automata. 68-84
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-02472
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-02472
Maurizio Murgia:
On Urgency in Asynchronous Timed Session Types. 85-94

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.