default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 240
Volume 240, Number 1, 6 June 2000
- Daniel Le Métayer:
Foreword. 1-2 - Marcello M. Bonsangue
, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro:
A transition system semantics for the control-driven coordination language MANIFOLD. 3-47 - Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Comparing three semantics for Linda-like languages. 49-90 - Eric J. Hedman, Joost N. Kok, Kaisa Sere:
Coordinating action systems. 91-115 - Suresh Jagannathan:
Continuation-based transformations for coordination languages. 117-146 - Roberto M. Amadio:
On modelling mobility. 147-176 - Luca Cardelli, Andrew D. Gordon:
Mobile ambients. 177-213 - Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Betti Venneri:
Types for access control. 215-254
Volume 240, Number 2, 17 June 2000
- Jin-yi Cai, D. Sivakumar:
Resolution of Hartmanis' conjecture for NL-hard sparse sets. 257-269 - Vincent Berry, Olivier Gascuel:
Inferring evolutionary trees with strong combinatorial evidence. 271-298 - Lin Chen:
A selected tour of the theory of identification matrices. 299-318 - Rüdiger Reischuk:
Can large fanin circuits perform reliable computations in the presence of faults? 319-335 - Yuji Kobayashi, Friedrich Otto:
Repetitiveness of languages generated by morphisms. 337-378 - Peter Eades, Xuemin Lin:
Spring algorithms and symmetry. 379-405 - Mohammod Abul Kashem, Xiao Zhou, Takao Nishizeki:
Algorithms for generalized vertex-rankings of partial k-trees. 407-427 - Sheng-Lung Peng, Chin-Wen Ho, Tsan-sheng Hsu, Ming-Tat Ko, Chuan Yi Tang:
Edge and node searching problems on trees. 429-446 - Athanassios S. Poulakidas, Ashok Srinivasan, Ömer Egecioglu, Oscar H. Ibarra, Tao Yang:
Image compression for fast wavelet-based subregion retrieval. 447-469 - Thomas Hofmeister, Matthias Krause, Hans Ulrich Simon:
Contrast-optimal k out of n secret sharing schemes in visual cryptography. 471-485 - Fred S. Annexstein, Kenneth A. Berman, Tsan-sheng Hsu, Ramjee P. Swaminathan:
A multi-tree routing scheme using acyclic orientations. 487-494
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-11-02 21:06 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:
