default search action

combined dblp search
author search
venue search
publication search

ask others

27th EXPRESS / 17th SOS 2020 (virtual event)

> 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-2008-12414
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-12414
Ornela Dardha, Jurriaan Rot:
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020. EPTCS 322, 2020
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-13355
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-13355
Bas Luttik:
Divergence-Preserving Branching Bisimilarity. 3-11
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-00391
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-00391
Davide Ancona, Angelo Ferrando, Viviana Mascardi:
Can determinism and compositionality coexist in RML? 13-32
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-13356
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-13356
Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse:
A process algebra with global variables. 33-50
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-13357
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-13357
Rob van Glabbeek:
Reactive Temporal Logic. 51-68
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-13358
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-13358
Ryan Kavanagh:
Substructural Observed Communication Semantics. 69-87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2008-13359
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-13359
Manfred Schmidt-Schauß, David Sabel:
Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars. 88-105

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.