default search action

combined dblp search
author search
venue search
publication search

ask others

25th EXPRESS / 15th SOS 2018: Beijing, China

> 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/abs-1808-08071
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08071
Jorge A. Pérez, Simone Tini:
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. EPTCS 276, 2018
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1808-08648
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08648
Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen:
Context-Free Session Types for Applied Pi-Calculus. 3-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1808-08649
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08649
Valentina Castiglioni:
Trace and Testing Metrics on Nondeterministic Probabilistic Processes. 19-36
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1808-08650
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08650
Jane Hillston, Carla Piazza, Sabina Rossi:
Persistent Stochastic Non-Interference. 53-68
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1808-08651
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08651
James Hoey, Irek Ulidowski, Shoji Yuen:
Reversing Parallel Programs with Blocks and Procedures. 69-86
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1808-08655
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08655
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida:
A Parametric Framework for Reversible Pi-Calculi. 87-103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1808-09361
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-09361
Kirstin Peters, Uwe Nestmann:
On the Distributability of Mobile Ambients. 104-121
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1808-08652
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-08652
Chun Tian, Davide Sangiorgi:
Unique Solutions of Contractions, CCS, and their HOL Formalisation. 122-139

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.