Volume 388,
Numbers 1-3,
December 2007
Fundamental study
Contributions
- Dominique Geniet, Gaëlle Largeteau:
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model.
26-52
Electronic Edition (link) BibTeX
- Fausto Spoto:
Optimality and condensing of information flow through linear refinement.
53-82
Electronic Edition (link) BibTeX
- Corina Cîrstea, Dirk Pattinson:
Modular construction of complete coalgebraic logics.
83-108
Electronic Edition (link) BibTeX
- Michael Johnson, Robert D. Rosebrugh:
Fibrations and universal view updatability.
109-129
Electronic Edition (link) BibTeX
- Jirí Adámek, Stefan Milius, Jiri Velebil:
Algebras with parametrized iterativity.
130-151
Electronic Edition (link) BibTeX
- Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen:
Domain-theoretical models of parametric polymorphism.
152-172
Electronic Edition (link) BibTeX
- Andrew R. Plummer:
S4 enriched multimodal categorial grammars are context-free.
173-180
Electronic Edition (link) BibTeX
- Krishnendu Chatterjee:
Concurrent games with tail objectives.
181-198
Electronic Edition (link) BibTeX
- Jan Komenda, Jan H. van Schuppen:
Control of discrete-event systems with modular or distributed structure.
199-226
Electronic Edition (link) BibTeX
- Byron Cook, Daniel Kroening, Natasha Sharygina:
Verification of Boolean programs with unbounded thread creation.
227-242
Electronic Edition (link) BibTeX
- Mark Schäfer, Walter Vogler:
Component refinement and CSC-solving for STG decomposition.
243-266
Electronic Edition (link) BibTeX
- Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi:
Tutorial on separation results in process calculi via leader election problems.
267-289
Electronic Edition (link) BibTeX
- Janis Voigtländer, Patricia Johann:
Selective strictness and parametricity in structural operational semantics, inequationally.
290-318
Electronic Edition (link) BibTeX
- Alban Ponse, Mark van der Zwaag:
Belnap's logic and conditional composition.
319-336
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:25:13 2009
by Michael Ley (ley@uni-trier.de)
