![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
11th EXPRESS 2004: London, UK
- 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 - Jos C. M. Baeten, Flavio Corradini:
Preface. 1-3 - Rob J. van Glabbeek:
On the Expressiveness of Higher Dimensional Automata: (Extended Abstract). 5-34 - Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Fairness of Components in System Computations. 35-52 - Suzana Andova, Tim A. C. Willemse
:
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). 53-66 - Emmanuel Beffara, François Maurel:
Concurrent Nets: A Study of Prefixing in Process Calculi. 67-86 - Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
On the omega-language Expressive Power of Extended Petri Nets. 87-101 - Harald Fecher, Martin Steffen:
Characteristic mu-Calculus Formulas for Underspecified Transition Systems. 103-116 - Rocco De Nicola
, Daniele Gorla
, Rosario Pugliese
:
On the Expressive Power of Klaim-based Calculi. 117-130 - Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen:
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. 131-150 - Reynald Affeldt
, Naoki Kobayashi
:
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes. 151-168 - Xudong Guan:
Name-Passing in an Ambient-Like Calculus and Its Proof Using Spatial Logic. 169-183 - Iain Phillips
, Maria Grazia Vigliotti:
Leader Election in Rings of Ambient Processes. 185-199
![](https://dblp.org/img/cog.dark.24x24.png)
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.