default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 331
Volume 331, Number 1, February 2005
- Fernando Orejas
, Jan van Leeuwen:
Preface: Automata, Languages and Programming . 1-2 - Markus Bläser:
Beyond the Alder-Strassen bound. 3-21 - Kunihiko Sadakane, Nadia Takki-Chebihi, Takeshi Tokuyama:
Combinatorics and algorithms for low-discrepancy roundings of a real sequence. 23-36 - Artur Czumaj, Christian Sohler:
Testing hypergraph colorability. 37-52 - Jop F. Sibeyn:
Faster gossiping on butterfly networks. 53-72 - Edith Cohen, Eran Halperin, Haim Kaplan:
Performance aspects of distributed caches using TTL-based consistency. 73-96 - Rajeev Alur, Kousha Etessami, Mihalis Yannakakis:
Realizability and verification of MSC graphs. 97-114 - Franck van Breugel, James Worrell:
A behavioural pseudometric for probabilistic transition systems. 115-142 - Hubert Comon, Véronique Cortier:
Tree automata with one memory set constraints and cryptographic protocols. 143-214 - Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman:
Amalgamation in the semantics of CASL. 215-247
Volume 331, Number 2-3, February 2005
- Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
An assertion-based proof system for multithreaded Java. 251-290 - Jozef Hooman, Jaco van de Pol:
Semantic models of a timed distributed dataspace architecture. 291-323 - Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. 325-365 - Franz Achermann, Oscar Nierstrasz:
A calculus for reasoning about software composition. 367-396 - Yonit Kesten, Amir Pnueli:
A compositional approach to CTL* verification. 397-428 - Emil Sekerinski:
Verification and refinement with fine-grained action-based concurrent objects. 429-455 - Dirk Pattinson, Martin Wirsing:
A coordination approach to mobile components. 457-483
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-20 23:48 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:
