default search action

combined dblp search
author search
venue search
publication search

ask others

3rd ICE 2010: Amsterdam, The Netherlands

> 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-1010-5308
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5308
Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva:
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010. EPTCS 38, 2010
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5565
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5565
Christian Lambertz, Mila E. Majster-Cederbaum:
Port Protocols for Deadlock-Freedom of Component Systems. 7-11
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5566
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5566
Marco Carbone, Søren Debois:
A Graphical Approach to Progress for Structured Communication in Web Services. 13-27
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5567
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5567
Alejandro Mario Hernandez, Flemming Nielson:
History-sensitive versus future-sensitive approaches to security in distributed systems. 29-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5568
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5568
Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari:
Safer in the Clouds (Extended Abstract). 45-49
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5569
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5569
Ivan Lanese:
Static vs Dynamic SAGAs. 51-65
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5570
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5570
Massimo Bartoletti, Roberto Zunino:
Primitives for Contract-based Synchronization. 67-82
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5571
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5571
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet:
An Introduction to Time-Constrained Automata. 83-98
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5572
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5572
Harsh Beohar, Pieter J. L. Cuijpers:
A theory of desynchronisable closed loop system. 99-114
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-5573
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-5573
Renaud Sirdey, Pascal Aubry:
A linear programming approach to general dataflow process network verification and dimensioning. 115-119

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.