default search action

combined dblp search
author search
venue search
publication search

ask others

32nd EXPRESS / 22nd SOS 2025: Aarhus, Denmark

> 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-2510-23211
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-23211
Cinzia Di Giusto, Giorgio Bacci:
Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics, EXPRESS/SOS 2025, and 22nd Workshop on Structural Operational SemanticsAarhus, Denmark, 25th August 2025. EPTCS 433, 2025
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-24203
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-24203
Lukas Bartl, Julian Linne, Kirstin Peters:
Fault-Tolerant Multiparty Session Types with Global Escape Loops. 3-22
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-24204
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-24204
Renato Neves:
An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency. 23-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-24205
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-24205
Telmo Ribeiro, José Proença, Mário Florido:
CoMPSeT: A Framework for Comparing Multiparty Session Types. 46-64
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2510-24206
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2510-24206
Rob van Glabbeek:
Unique Solutions of Guarded Recursive Equations. 65-84

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.