Journal of Logic and Algebraic Programming, Volume 80

Volume 80, Number 1, January 2011

• Gordon J. Pace, Gerardo Schneider:
  Guest Editors' Foreword. 1-2
  
• Antonio Brogi:
  On the potential advantages of exploiting behavioural information for contract-based service discovery and composition. 3-12
  
• Maria Grazia Buscemi, Ugo Montanari:
  QoS negotiation in service composition. 13-24
  
• María-Emilia Cambronero, Gregorio Díaz, Valentin Valero, Enrique Martínez:
  Validation and verification of Web services choreographies by using timed automata. 25-49
  
• Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
  Permission to speak: A logic for access control and conformance. 50-74
  

Volume 80, Number 2, February 2011

• Robin Hirsch, Szabolcs Mikulás:
  Axiomatizability of representable domain algebras. 75-91
  
• Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
  Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. 92-112
  
• Fabio Gadducci, Giacoma Valentina Monreale:
  A decentralised graphical implementation of mobile ambients. 113-136
  

Volume 80, Numbers 3-5, April - July 2011

• Gordon J. Pace, Gerardo Schneider:
  Guest Editors' Foreword. 137-138
  
• Paolo Rosso, Santiago Correa, Davide Buscaldi:
  Passage retrieval in legal texts. 139-153
  
• J. A. Martín, E. Pimentel:
  Contracts for security adaptation. 154-179
  
• Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing:
  A contract-based approach to adaptivity. 180-193
  
• Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton:
  Building Distributed Controllers for Systems with Priorities. 194-218
  

Volume 80, Number 6, August 2011

• Rudolf Berghammer, Ali Jaoua, Bernhard Möller:
  Relations and Kleene algebras in computer science. 219-220
  
• Han-Hing Dang, Peter Höfner, Bernhard Möller:
  Algebraic separation logic. 221-247
  
• Walter Guttmann:
  Fixpoints for general correctness. 248-265
  
• Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
  Concurrent Kleene Algebra and its Foundations. 266-296
  
• Wolfram Kahl:
  Collagories: Relation-algebraic reasoning for gluing constructions. 297-338
  
• Gunther Schmidt, Rudolf Berghammer:
  Contact, closure, topology, and the linking of row and column types of relations. 339-361
  
• Kim Solin:
  Normal forms in total correctness for while programs and action systems. 362-375
  

Volume 80, Number 7, October 2011

• Gabriel Ciobanu, Maciej Koutny:
  Timed Mobility in process algebra and Petri nets. 377-391
  
• Robert Colvin, Ian J. Hayes:
  Structural operational semantics through context-dependent behaviour. 392-426
  

Volume 80, Number 8, November 2011

• Mark Burgess, Alva L. Couch:
  On system rollback and totalized fields: An algebraic approach to system change. 427-443
  
• Jerry Swan:
  Efficiency issues in the kbmag procedure. 444-452
  
• Richard Banach, Czeslaw Jeske:
  Simple feature engineering via neat default retrenchments. 453-480
  
• Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
  Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. 481-496
  

Last update Fri May 24 20:35:50 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page