Science of Computer Programming, Volume 65

Volume 65, Number 1, March 2007

• Jan A. Bergstra:
  Letter from the editor.
  
• Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche:
  Towards more adequate EIS. 1-3
  
• Volker Gruhn, Ralf Laue:
  What business process modelers can learn from programmers. 4-13
  
• Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong:
  Modelling and model checking suspendible business processes via statechart diagrams and CSP. 14-29
  
• Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
  LogLogics: A logic for history-dependent business processes. 30-40
  
• Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales:
  A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models. 41-56
  
• María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel:
  PiXL: Applying xml standards to support the integration of analysis tools for protocols. 57-69
  

Volume 65, Number 2, March 2007

• Dexter Kozen:
  Preface. 71
  
• Frank Atanassow, Johan Jeuring:
  Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. 72-107
  
• Jeremy Gibbons:
  Metamorphisms: Streaming representation-changers. 108-139
  
• Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky:
  Modelling angelic and demonic nondeterminism with multirelations. 140-158
  
• Joseph M. Morris, Malcolm Tyrrell:
  Terms with unbounded demonic and angelic nondeterminacy. 159-172
  
• Therrezinha Fernandes, Jules Desharnais:
  Describing data flow analysis techniques with Kleene algebra. 173-194
  
• Bernhard Möller:
  Kleene getting lazy. 195-214
  

Volume 65, Number 3, April 2007

• René L. Krikhaar, Ivica Crnkovic:
  Software Configuration Management. 215-221
  
• Lucian Voinea, Johan Lukkien, Alexandru Telea:
  Visual assessment of software evolution. 222-248
  
• Leonardo Gresta Paulino Murta, Hamilton L. R. Oliveira, Cristine R. Dantas, Luiz Gustavo Lopes, Cláudia Maria Lima Werner:
  Odyssey-SCM: An integrated software configuration management infrastructure for UML models. 249-274