default search action

combined dblp search
author search
venue search
publication search

ask others

22nd EXPRESS / 12th SOS 2015: Madrid, Spain

> 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/CrafaG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CrafaG15
Silvia Crafa, Daniel Gebler:
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015. EPTCS 190, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DardhaP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DardhaP15
Ornela Dardha, Jorge A. Pérez:
Comparing Deadlock-Free Session Typed Processes. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DedeicPP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DedeicPP15
Jovana Dedeic, Jovanka Pantovic, Jorge A. Pérez:
On Compensation Primitives as Adaptable Processes. 16-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DArgenioLG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DArgenioLG15
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler:
SOS rule formats for convex and abstract probabilistic bisimulations. 31-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PetersG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PetersG15
Kirstin Peters, Rob J. van Glabbeek:
Analysing and Comparing Encodability Criteria. 46-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HatzelWPN15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HatzelWPN15a
Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann:
Encoding CSP into CCS. 61-75
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Rowe15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Rowe15
Reuben N. S. Rowe:
Encoding the Factorisation Calculus. 76-90

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.