default search action

combined dblp search
author search
venue search
publication search

ask others

9th ICE 2016: Heraklion, Greece

> 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/BartolettiHKV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BartolettiHKV16
Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira:
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. EPTCS 223, 2016
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MichalewskiMB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MichalewskiMB16
Henryk Michalewski, Matteo Mio, Mikolaj Bojanczyk:
On the Regular Emptiness Problem of Subzero Automata. 1-23
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BolognesiC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BolognesiC16
Tommaso Bolognesi, Vincenzo Ciancia:
Nominal Cellular Automata. 24-35
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Fowler16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Fowler16
Simon Fowler:
An Erlang Implementation of Multiparty Session Actors. 36-50
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AzadbakhtBS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AzadbakhtBS16
Keyvan Azadbakht, Frank S. de Boer, Vlad Serbanescu:
Multi-Threaded Actors. 51-66
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GuancialeT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuancialeT16
Roberto Guanciale, Emilio Tuosto:
An Abstract Semantics of the Global View of Choreographies. 67-82
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MavridouBBS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MavridouBBS16
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Architecture Diagrams: A Graphical Language for Architecture Style Specification. 83-97
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BernadetL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BernadetL16
Alexis Bernadet, Ivan Lanese:
A Modular Formalization of Reversibility for Concurrent Models and Languages. 98-112
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HosseinRBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HosseinRBM16
Seyed H. Haeri (Hossein), Peter Van Roy, Carlos Baquero, Christopher Meiklejohn:
Worlds of Events: Deduction with Partial Knowledge about Causality. 113-127
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BodeiDFG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BodeiDFG16
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta:
A Step Towards Checking Security in IoT. 128-142

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.