Electronic Notes in Theoretical Computer Science, Volume 115

Volume 115, January 2005

• Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler:
  Preface. 1-2
  
• Ralf Huuck:
  Semantics and Analysis of Instruction List Programs. 3-18
  
• Alessandra Cavarra, Juliana Küster Filipe:
  Combining Sequence Diagrams and OCL for Liveness. 19-38
  
• Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler:
  Formalizing UML Models and OCL Constraints in PVS. 39-47
  
• Gwen Salaün, Pascal Poizat:
  Interacting Extended State Diagrams. 49-57
  
• Rui Gustavo Crespo:
  Integrating the Semantics of Deterministic Multi-layered Communication Systems. 59-68
  
• Arnab Ray, Rance Cleaveland, Arne Skou:
  An Algebraic Theory Of Boundary Crossing Transitions. 69-88
  
• Andrzej Wasowski:
  On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. 89-97