default search action

combined dblp search
author search
venue search
publication search

ask others

12th EXPRESS 2005: San Francisco, CA, USA

> 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
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/express/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/express/2005
Jos C. M. Baeten, Iain C. C. Phillips:
Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 154(3), Elsevier 2006
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaetenP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaetenP06
Jos C. M. Baeten, Iain C. C. Phillips:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FroschleL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FroschleL06
Sibylle B. Fröschle, Slawomir Lasota:
Causality Versus True-Concurrency. 3-18
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FernandezMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FernandezMS06
Maribel Fernández, Ian Mackie, François-Régis Sinot:
Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. 19-32
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AmadioD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AmadioD06
Roberto M. Amadio, Frédéric Dabrowski:
Feasible Reactivity for Synchronous Cooperative Threads. 33-43
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Borgstrom06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Borgstrom06
Johannes Borgström:
Static Equivalence is Harder than Knowledge. 45-57
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BertrandS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BertrandS06
Nathalie Bertrand, Philippe Schnoebelen:
A Short Visit to the STS Hierarchy. 59-69
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DevillersKK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DevillersKK06
Raymond Devillers, Hanna Klaudel, Maciej Koutny:
A Petri Net Semantics of a Simple Process Algebra for Mobility. 71-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CacciagranoCP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CacciagranoCP06
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Separation of Synchronous and Asynchronous Communication Via Testing. 95-108
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BriaisN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BriaisN06
Sébastien Briais, Uwe Nestmann:
Open Bisimulation, Revisited. 109-123

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.