default search action

combined dblp search
author search
venue search
publication search

ask others

17th EXPRESS 2010: Paris, France

> 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-1011-6012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6012
Sibylle B. Fröschle, Frank D. Valencia:
Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010. EPTCS 41, 2010
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6429
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6429
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg:
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract). 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6430
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6430
Federico Banti, Rosario Pugliese, Francesco Tiezzi:
A criterion for separating process calculi. 16-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6438
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6438
Andrea Cerone, Matthew Hennessy:
Process Behaviour: Formulae vs. Tests (Extended Abstract). 31-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6431
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6431
Ugo Dal Lago, Simone Martini, Davide Sangiorgi:
Light Logics and Higher-Order Processes. 46-60
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6432
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6432
Diego Figueira, Piotr Hofman, Slawomir Lasota:
Relating timed and register automata. 61-75
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6433
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6433
Roberto Gorrieri, Cristian Versari:
A Process Calculus for Expressing Finite Place/Transition Petri Nets. 76-90
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6434
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6434
Gavin Lowe:
Models for CSP with availability information. 91-105
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6435
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6435
Peter D. Mosses, Mohammad Reza Mousavi, Michel A. Reniers:
Robustness of Equations Under Operational Extensions. 106-120
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6436
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6436
Lasse Nielsen, Nobuko Yoshida, Kohei Honda:
Multiparty Symmetric Sum Types. 121-135
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1011-6437
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1011-6437
Kirstin Peters, Uwe Nestmann:
Breaking Symmetries. 136-150

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.