![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
6th EXPRESS 1999: Eindhoven, The Netherlands
- Ilaria Castellani, Björn Victor:
6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999, Eindhoven, The Netherlands, August 23, 1999. Electronic Notes in Theoretical Computer Science 27, Elsevier 1999 - Ilaria Castellani
, Björn Victor:
Preface. 1-2 - Simone Tini
:
On The Expressiveness of Timed Concurrent Constraint Programming. 3-17 - Anna Ingólfsdóttir, Rosario Pugliese
:
Towards Verified Lazy Implementation of Concurrent Value-Passing Languages. 18-24 - Rom Langerak
:
Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding. 25-41 - Gabriel Juhás
:
Petri nets with generalized algebra: a comparison. 42-56 - Massimo Merro
:
On Equators in Asynchronous Name-passing Calculi without Matching. 57-70 - Heike Wehrheim:
Partial order reductions for failures refinement. 71-84 - Sibylle B. Fröschle:
Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP. 85-106 - Mario Bravetti, Roberto Gorrieri:
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement. 107-126
![](https://dblp1.uni-trier.de/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.