![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
8th EXPRESS 2001: Aalborg, Denmark
- Luca Aceto, Prakash Panangaden:
8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001. Electronic Notes in Theoretical Computer Science 52(1), Elsevier 2002 - Anne Labroue, Philippe Schnoebelen:
An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. 1-20 - Alan Martin:
Adequate Sets of Temporal Connectives in CTL. 21-31 - Julian C. Bradfield, Sibylle B. Fröschle:
On Logical and Concurrent Equivalences. 32-45 - Jan Strejcek
:
Rewrite Systems with Constraints. 46-65 - Roberto M. Amadio, Charles Meyssonnier:
On the Decidability of Fragments of the Asynchronous pi-Calculus. 66-82 - K. V. S. Prasad:
Broadcast Calculus Interpreted in CCS upto Bisimulation. 83-100 - Tom Chothia, Ian Stark
:
Encoding Distributed Areas and Local Communication into the pi-Calculus. 101-119 - Dina Q. Goldin, Scott A. Smolka, Peter Wegner:
Turing Machines, Transition Systems, and Interaction. 120-136 - Luca Aceto, Prakash Panangaden:
Preface. 137-138
![](https://dblp.dagstuhl.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.