default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 388
Volume 388, Numbers 1-3, December 2007
- Hongliang Lai, Dexue Zhang
:
Complete and directed complete Omega-categories. 1-25
- Dominique Geniet, Gaëlle Largeteau:
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model. 26-52 - Fausto Spoto:
Optimality and condensing of information flow through linear refinement. 53-82 - Corina Cîrstea, Dirk Pattinson:
Modular construction of complete coalgebraic logics. 83-108 - Michael Johnson, Robert D. Rosebrugh:
Fibrations and universal view updatability. 109-129 - Jirí Adámek, Stefan Milius, Jirí Velebil:
Algebras with parametrized iterativity. 130-151 - Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen:
Domain-theoretical models of parametric polymorphism. 152-172 - Andrew R. Plummer:
S4 enriched multimodal categorial grammars are context-free. 173-180 - Krishnendu Chatterjee:
Concurrent games with tail objectives. 181-198 - Jan Komenda, Jan H. van Schuppen:
Control of discrete-event systems with modular or distributed structure. 199-226 - Byron Cook, Daniel Kroening, Natasha Sharygina:
Verification of Boolean programs with unbounded thread creation. 227-242 - Mark Schäfer, Walter Vogler:
Component refinement and CSC-solving for STG decomposition. 243-266 - Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi:
Tutorial on separation results in process calculi via leader election problems. 267-289 - Janis Voigtländer, Patricia Johann:
Selective strictness and parametricity in structural operational semantics, inequationally. 290-318 - Alban Ponse, Mark van der Zwaag:
Belnap's logic and conditional composition. 319-336
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-02-12 00: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:
