default search action

combined dblp search
author search
venue search
publication search

ask others

4th ICE 2011: Reykjavik, Iceland

> Home > Conferences and Workshops > ICE

SPARQL queries

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-1108-0144
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0144
Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone:
Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 59, 2011
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0463
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0463
Tom Hirschowitz, Damien Pous:
Innocent strategies as presheaves and interactive equivalences for CCS. 2-24
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0464
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0464
Vincenzo Ciancia:
Interaction and observation, categorically. 25-36
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0465
Andrei Dorman, Tobias Heindel:
Structured Operational Semantics for Graph Rewriting. 37-51
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0466
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0466
Viviana Bono, Luca Padovani:
Polymorphic Endpoint Types for Copyless Message Passing. 52-67
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0467
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0467
Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet:
On the reaction time of some synchronous systems. 69-83
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0468
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0468
Sung-Shik T. Q. Jongmans, Farhad Arbab:
Correlating Formal Semantic Models of Reo Connectors: Connector Coloring and Constraint Automata. 84-103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0469
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0469
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan:
Formal Analysis of Quantum Systems using Process Calculus. 104-110
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0470
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0470
Laura Bocchi, Julien Lange, Emilio Tuosto:
Amending Contracts for Choreographies. 111-129
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-0471
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-0471
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
Contracts in distributed systems. 130-147

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.