default search action

combined dblp search
author search
venue search
publication search

ask others

13th EXPRESS 2006: Bonn, 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
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/express/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/express/2006
Roberto M. Amadio, Iain Phillips:
Proceedings of the 13th International Workshop on Expressiveness in Concurrency, EXPRESS 2006, Bonn, Germany, August 26, 2006. Electronic Notes in Theoretical Computer Science 175(3), Elsevier 2007
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AmadioP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AmadioP07
Roberto M. Amadio, Iain Phillips:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CacciagranoCP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CacciagranoCP07
Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Fair Pi. 3-26
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/WangK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/WangK07
Xu Wang, Marta Z. Kwiatkowska:
Compositional State Space Reduction Using Untangled Actions. 27-46
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BouajjaniST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BouajjaniST07
Ahmed Bouajjani, Jan Strejcek, Tayssir Touili:
On Symbolic Verification of Weakly Extended PAD. 47-64
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Milner07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Milner07
Robin Milner:
Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract). 65-73
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DanosKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DanosKS07
Vincent Danos, Jean Krivine, Pawel Sobocinski:
General Reversibility. 75-86
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Gorla07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Gorla07
Daniele Gorla:
Synchrony vs Asynchrony in Communication Primitives. 87-108
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Saunders-EvansW07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Saunders-EvansW07
Lucy Saunders-Evans, Glynn Winskel:
Event Structure Spans for Nondeterministic Dataflow. 109-129
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CairesV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CairesV07
Luís Caires, Hugo Torres Vieira:
Extensionality of Spatial Observations in Distributed Systems. 131-149

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.