default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th 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
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.
last updated on 2024-10-15 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
