![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
8th ICE 2015: Grenoble, France
- 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 - Kasper Dokter
, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze:
Relating BIP and Reo. 3-20 - Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro:
Orchestrated Session Compliance. 21-36 - Bas Luttik, Fei Yang
:
Executable Behaviour and the π-Calculus (extended abstract). 37-52 - Eike Best, Uli Schlachter:
Analysis of Petri Nets and Transition Systems. 53-67 - Clément Aubert
, Ioana Cristescu:
Reversible Barbed Congruence on Configuration Structures. 68-85 - Alceste Scalas
, Massimo Bartoletti
:
The LTS WorkBench. 86-98 - Thomas Given-Wilson
, Axel Legay:
On the Expressiveness of Joining. 99-113 - Xian Xu, Qiang Yin
, Huan Long:
On the Computation Power of Name Parameterization in Higher-order Processes. 114-127 - César Santos, Francisco Martins
, Vasco Thudichum Vasconcelos
:
Deductive Verification of Parallel Programs Using Why3. 128-142
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.