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
- 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, Jiri 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
Last update Sat May 18 17:41:02 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
