Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

21st EXPRESS / 11th SOS 2014: Rome, Italy

> Home > Conferences and Workshops > EXPRESS
> Home > Conferences and Workshops > SOS

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/BorgstromC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BorgstromC14
Johannes Borgström, Silvia Crafa:
Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014. EPTCS 160, 2014
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PohjolaP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PohjolaP14
Johannes Åman Pohjola, Joachim Parrow:
Priorities Without Priorities: Representing Preemption in Psi-Calculi. 2-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PetersYN14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PetersYN14a
Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann:
Matching in the Pi-Calculus. 16-29
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Given-Wilson14b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Given-Wilson14b
Thomas Given-Wilson:
On the Expressiveness of Intensional Communication. 30-46
- view
  authority control:
- export record
  dblp key:
  - journals/corr/WagnerN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WagnerN14
Christoph Wagner, Uwe Nestmann:
States in Process Calculi. 48-62
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GeblerT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GeblerT14
Daniel Gebler, Simone Tini:
Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators. 63-78
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KlinN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KlinN14
Bartek Klin, Beata Nachyla:
Distributive Laws and Decidable Properties of SOS Specifications. 79-93
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GayGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GayGR14
Simon J. Gay, Nils Gesbert, António Ravara:
Session Types as Generic Process Types. 94-110
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Franke-ArnoldGP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Franke-ArnoldGP14
Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor:
Verification of Linear Optical Quantum Computing using Quantum Process Calculus. 111-129

a service of

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.