default search action

combined dblp search
author search
venue search
publication search

ask others

18th EXPRESS 2011: Aachen, Germany

> Home > Conferences and Workshops > EXPRESS

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-1108-4077
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4077
Bas Luttik, Frank Valencia:
Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011. EPTCS 64, 2011
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-4464
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4464
Luca Aceto, Ignacio Fábregas, David de Frutos-Escrig, Anna Ingólfsdóttir, Miguel Palomino:
Graphical representation of covariant-contravariant modal formulae. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-4465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4465
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Information Flow Safety in Multiparty Sessions. 16-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-4466
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4466
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Read Operators and their Expressiveness in Process Algebras. 31-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1107-5722
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-5722
Ioana Cristescu, Daniel Hirschkoff:
Termination in a Pi-calculus with Subtyping. 44
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-4467
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4467
Ugo Dal Lago, Paolo Di Giamberardino:
Soft Session Types. 59-73
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-4468
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4468
Damian Nadales Agut, Michel A. Reniers:
Linearization of CIF Through SOS. 74-88
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-4469
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4469
Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann:
Synchrony vs Causality in the Asynchronous Pi-Calculus. 89-103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-4470
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4470
Iain Phillips, Irek Ulidowski:
A Logic with Reverse Modalities for History-preserving Bisimulations. 104-118
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1108-4471
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1108-4471
Jens-Wolfhard Schicke, Kirstin Peters, Ursula Goltz:
Synchrony vs. Causality in Asynchronous Petri Nets. 119-131

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.