Journal of Logic and Algebraic Programming, Volume 78

Volume 78, Number 1, November - December 2008

• Hai-Feng Guo, Bharat Jayaraman:
  Logic programming with solution preferences. 1-21
  
• Xiaoxiao Yang, Zhenhua Duan:
  Operational semantics of Framed Tempura. 22-51
  
• Jos C. M. Baeten, Ana Sokolova:
  Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen and Jiri Srba, Reactive Systems: Modelling, Specification and Verification , Cambridge University Press (2007) ISBN 9780521875462. 52
  

Volume 78, Number 2, January 2009

• Manfred Broy, Gheorghe Stefanescu:
  Guest Editors' Foreword: Selected papers on "Streams and Algebra". 53
  
• Jan Jürjens:
  A domain-specific language for cryptographic protocols based on streams. 54-73
  
• Peter Höfner, Bernhard Möller:
  An algebra of hybrid systems. 74-97
  
• Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
  Testing from a stochastic timed system with a fault model. 98-115
  

Volume 78, Number 3, February - March 2009

• Hélia Guerra, José Félix Costa:
  Processes with local and global liveness requirements. 117-137
  
• Nadia Busi, Roberto Gorrieri:
  Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. 138-162
  
• A. W. Roscoe:
  Revivals, stuckness and the hierarchy of CSP models. 163-190
  

Volume 78, Number 4, April 2009

• Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
  Preface.
  
• Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni:
  Assisting the design of a groupware system. 191-232
  
• Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier:
  A metamodel for the design of polychronous systems. 233-259
  
• M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Hermenegilda Macià:
  Improving performance in flexible manufacturing systems. 260-273
  
• Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse:
  Search algorithms for automated validation. 274-287
  

Volume 78, Number 5, May - June 2009

• Olaf Owe, Gerardo Schneider:
  Guest Editors' Foreword. 289-290
  
• Olaf Owe, Gerardo Schneider:
  Formal languages and analysis of contract-oriented software. 291-292
  
• Martin Leucker, Christian Schallhart:
  A brief account of runtime verification. 293-303
  
• Irem Aktug, Mads Dam, Dilian Gurov:
  Provably correct runtime monitoring. 304-339
  
• Nataliia Bielova, Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka, Ida Siahaan:
  Matching in security-by-contract for mobile code. 340-358
  
• Valentin Valero, María-Emilia Cambronero, Gregorio Díaz, Hermenegilda Macià:
  A Petri net approach for the design and analysis of Web Services Choreographies. 359-380
  
• Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen:
  POETS: Process-oriented event-driven transaction systems. 381-401
  
• Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani:
  Schedulability of asynchronous real-time concurrent objects. 402-416
  

Volume 78, Number 6, July 2009

• Lars Frantzen, Mercedes G. Merayo, Manuel Núñez:
  A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. 417-424
  
• César Andrés, Luis Fernando Llana Díaz, Ismael Rodríguez:
  Formally transforming user-model testing problems into implementer-model testing problems and viceversa. 425-453
  
• Laya Madani, Ioannis Parissis:
  Automatically testing interactive applications using extended task trees. 454-471
  
• Gordon Fraser, Angelo Gargantini, Franz Wotawa:
  On the order of test goals in specification-based testing. 472-490
  

Volume 78, Number 7, August - September 2009

• Einar Broch Johnsen, Olaf Owe, Gerardo Schneider:
  Guest Editors' Foreword.
  
• Erika Ábrahám, Immo Grabe, Andreas Grüner, Martin Steffen:
  Behavioral interface description of an object-oriented language with futures and promises. 491-518
  
• Eva Burrows, Magne Haveraaen:
  A Hardware Independent Parallel Programming Model. 519-538
  
• David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino:
  Ready to preorder: an algebraic and general proof. 539-551
  
• Fritz Henglein:
  What is a Sorting Function? 552-572
  
• Härmel Nestra:
  Transfinite Semantics in the Form of Greatest Fixpoint. 573-592
  
• Alejandro Russo, Andrei Sabelfeld:
  Securing interaction between threads and the scheduler in the presence of synchronization. 593-618
  
• Ando Saabas, Tarmo Uustalu:
  Proof optimization for partial redundancy elimination. 619-642
  
• Kai Trojahner, Clemens Grelck:
  Dependently typed array programs don't go wrong. 643-664
  

Volume 78, Number 8, November 2009

• Daniele Gorla, Rosario Pugliese:
  Dynamic management of capabilities in a network aware coordination language. 665-689
  
• Jason Crampton:
  Cryptographically-enforced hierarchical access control with multiple keys. 690-700
  
• Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas:
  Dual Systems of Tableaux and Sequents for PLTL. 701-722
  
• M. Mehdi Ebrahimi, Mojgan Mahmoudi:
  Completion of Boolean algebras in MSet. 723-729
  
• Valentin Valero, Gregorio Díaz, María-Emilia Cambronero, Hermenegilda Macià:
  A barred operational semantics for a subset of WS-CDL with time restrictions. 730-748