default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 253
Volume 253, Number 1, 17 February 2001
- Miquel Bertran, Teodor Rus:
Papers from ARTS'97 - Preface. 1 - Manfred Broy:
Refinement of time. 3-26 - Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe:
Deductive verification of real-time systems using STeP. 27-60 - Henning Dierks:
PLC-automata: a new class of implementable real-time automata. 61-93 - Sérgio Vale Aguiar Campos, Edmund M. Clarke:
The Verus language: representing time efficiently with BDDs. 95-118 - Zhiming Liu, Mathai Joseph:
Verification, refinement and scheduling of real-time programs. 119-152
Volume 253, Number 2, 28 February 2001
- Catuscia Palamidessi
:
Foreword. 153 - Chiara Bodei, Pierpaolo Degano, Corrado Priami:
Names of the -calculus agents handled locally. 155-184 - Stefano Guerrini, Simone Martini, Andrea Masini:
Proof nets, garbage, and computations. 185-237 - Furio Honsell, Marino Miculan, Ivan Scagnetto:
pi-calculus in (Co)inductive-type theory. 239-285 - Prakash Panangaden:
Measure and probability for concurrency theorists. 287-309 - Davide Sangiorgi:
Asynchronous process calculi: the first- and higher-order paradigms. 311-350
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 2025-12-04 22:08 CET 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:
