default search action

combined dblp search
author search
venue search
publication search

ask others

19th EXPRESS / 9th SOS 2012: Newcastle upon Tyne, UK

> 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-1208-2440
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2440
Bas Luttik, Michel A. Reniers:
Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012. EPTCS 89, 2012
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2746
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2746
Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot:
On the specification of operations on the rational behaviour of systems. 3-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-5915
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-5915
Gérard Boudol, Gustavo Petri, Bernard P. Serpette:
Relaxed Operational Semantics of Concurrent Programming Languages. 19-33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2747
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2747
Wojciech Czerwinski, Slawomir Lasota:
Partially-commutative context-free languages. 35-48
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2748
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2748
Maciej Gazda, Tim A. C. Willemse:
Expressiveness and Completeness in Abstraction. 49-64
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2749
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2749
Marco Giunti, Catuscia Palamidessi, Frank D. Valencia:
Hide and New in the Pi-Calculus. 65-79
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2750
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2750
Rob J. van Glabbeek:
Musings on Encodings and Expressiveness. 81-98
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2751
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2751
Piotr Hofman, Patrick Totzke:
Approximating Weak Bisimilarity of Basic Parallel Processes. 99-113
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2752
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2752
Matias David Lee, Daniel Gebler, Pedro R. D'Argenio:
Tree rules in probabilistic transition system specifications with negative and quantitative premises. 115-130
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2753
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2753
Stephan Mennicke:
An Operational Petri Net Semantics for the Join-Calculus. 131-147
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2754
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2754
Maxim Strygin, Hayo Thielecke:
Operational semantics for signal handling. 149-163

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.