Theoretical 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, 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