Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

30th EXPRESS / 20th SOS 2023: Antwerp, Belgium

> 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-2309-05788
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-05788
Claudio Antares Mezzina, Georgiana Caltais:
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023. EPTCS 387, 2023
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07302
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07302
Marjan Sirjani, Ehsan Khamespanah:
Timed Actors and Their Formal Verification. 1-7
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07303
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07303
Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi:
EXPRESSing Session Types. 8-25
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07304
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07304
Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir, Mohammad Reza Mousavi:
The Way We Were: Structural Operational Semantics Research in Perspective. 26-40
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07306
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07306
Rob van Glabbeek, Jan Friso Groote, Erik P. de Vink:
A Cancellation Law for Probabilistic Processes. 42-58
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07933
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07933
Rob van Glabbeek, Peter Höfner, Weiyou Wang:
A Lean-Congruence Format for EP-Bisimilarity. 59-75
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07307
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07307
Daniel Hirschkoff, Enguerrand Prebet:
Using Pi-Calculus Names as Locks. 76-96
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07298
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07298
Thomas P. Jensen, Vincent Rebiscoul, Alan Schmitt:
Deriving Abstract Interpreters from Skeletal Semantics. 97-113
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07308
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07308
Jos C. M. Baeten, Bas Luttik:
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract). 114-131
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07309
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07309
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele:
Quantifying Masking Fault-Tolerance via Fair Stochastic Games. 132-148
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07310
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07310
Shunya Oguchi, Shoji Yuen:
CRIL: A Concurrent Reversible Intermediate Language. 149-167

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.