default search action

combined dblp search
author search
venue search
publication search

ask others

8th ICE 2015: Grenoble, France

> 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/KnightLLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KnightLLV15
Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira:
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. EPTCS 189, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DokterJAB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DokterJAB15
Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze:
Relating BIP and Reo. 3-20
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BarbaneraBd15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BarbaneraBd15
Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro:
Orchestrated Session Compliance. 21-36
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LuttikY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LuttikY15
Bas Luttik, Fei Yang:
Executable Behaviour and the π-Calculus (extended abstract). 37-52
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BestS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BestS15
Eike Best, Uli Schlachter:
Analysis of Petri Nets and Transition Systems. 53-67
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AubertC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AubertC15
Clément Aubert, Ioana Cristescu:
Reversible Barbed Congruence on Configuration Structures. 68-85
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ScalasB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ScalasB15
Alceste Scalas, Massimo Bartoletti:
The LTS WorkBench. 86-98
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Given-WilsonL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Given-WilsonL15
Thomas Given-Wilson, Axel Legay:
On the Expressiveness of Joining. 99-113
- view
  authority control:
- export record
  dblp key:
  - journals/corr/XuYL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/XuYL15
Xian Xu, Qiang Yin, Huan Long:
On the Computation Power of Name Parameterization in Higher-order Processes. 114-127
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SantosMV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SantosMV15
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos:
Deductive Verification of Parallel Programs Using Why3. 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.