Electronic Notes in Theoretical Computer Science, Volume 195

Volume 195, January 2008

• Anamaria Martins Moreira, Leila Ribeiro:
  Preface. 1
  
• Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima:
  Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. 3-20
  
• Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado:
  Towards Deriving Test Sequences by Model Checking. 21-40
  
• Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens:
  A Calculus for Team Automata. 41-55
  
• Patrícia Ferreira, Augusto Sampaio, Alexandre Mota:
  Viewing CSP Specifications with UML-RT Diagrams. 57-74
  
• Manuela Xavier, Ana Cavalcanti, Augusto Sampaio:
  Type Checking Circus Specifications. 75-93
  
• Karsten Hölscher, Renate Klempien-Hinrichs, Peter Knirsch:
  Undecidable Control Conditions in Graph Transformation Units. 95-111
  
• Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
  An Institutional Theory for #-Components. 113-132
  
• Mario R. F. Benevides, Carla A. D. M. Delgado, Carlos López Pombo, Luis Lopes, Ricardo Ribeiro:
  A Compositional Automata-based Approach for Model Checking Multi-Agent Systems. 133-149
  
• Jim Davies, David Faitelson, James Welch:
  Domain-specific Semantics and Data Refinement of Object Models. 151-170
  
• Gustavo Cabral, Augusto Sampaio:
  Formal Specification Generation from Requirement Documents. 171-188
  
• Tiago Massoni, Rohit Gheyi, Paulo Borba:
  A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs. 189-209
  
• Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper, Erik J. Luit:
  Invariants for Non-Hierarchical Object Structures. 211-229