default search action

combined dblp search
author search
venue search
publication search

ask others

11th EXPRESS 2004: London, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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
  - no references & citations available
- export record
  dblp key:
  - conf/express/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/express/2004
Jos C. M. Baeten, Flavio Corradini:
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 128(2), Elsevier 2005
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaetenC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaetenC05
Jos C. M. Baeten, Flavio Corradini:
Preface. 1-3
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Glabbeek05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Glabbeek05
Rob J. van Glabbeek:
On the Expressiveness of Higher Dimensional Automata: (Extended Abstract). 5-34
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CorradiniBV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CorradiniBV05
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Fairness of Components in System Computations. 35-52
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AndovaW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AndovaW05
Suzana Andova, Tim A. C. Willemse:
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). 53-66
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BeffaraM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BeffaraM05
Emmanuel Beffara, François Maurel:
Concurrent Nets: A Study of Prefixing in Process Calculi. 67-86
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkelGRB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkelGRB05
Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
On the omega-language Expressive Power of Extended Petri Nets. 87-101
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FecherS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FecherS05
Harald Fecher, Martin Steffen:
Characteristic mu-Calculus Formulas for Underspecified Transition Systems. 103-116
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NicolaGP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NicolaGP05
Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
On the Expressive Power of Klaim-based Calculi. 117-130
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BundgaardHG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BundgaardHG05
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen:
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. 131-150
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AffeldtK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AffeldtK05
Reynald Affeldt, Naoki Kobayashi:
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes. 151-168
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Guan05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Guan05
Xudong Guan:
Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic. 169-183
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PhillipsV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PhillipsV05
Iain Phillips, Maria Grazia Vigliotti:
Leader Election in Rings of Ambient Processes. 185-199

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.