Volume 30, Numbers 1-2, January 1998

Special Issue on Concurrent Constraint Programming, First International Workshop on Concurrent Constraint Programming, 29-31 May 1995, University of Venice, Italy

• 
  Philippe Codognet: Foreword: Concurrent Constraint Programming. 1-2
• 
  Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat: Computing with Continuous Change. 3-49
• 
  Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. 51-82
• 
  Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou: Newton - Constraint Programming over Nonlinear Constraints. 83-118
• 
  Roberto Bagnara: A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages. 119-155
• 
  Manuel M. T. Chakravarty, Yike Guo, Martin Köhler, Hendrik C. R. Lock: GOFFIN: Higher-Order Functions Meet Concurrent Constraints. 157-199
• 
  Uwe M. Borghoff, Remo Pareschi, Francesca Arcelli Fontana, Ferrante Formato: Constraint-Based Protocols for Distributed Problem Solving. 201-225
• 
  T. Nguyen, Yves Deville: A Distributed Arc-Consistency Algorithm. 227-250

Volume 30, Number 3, March 1998

• 
  Eric W. van Ammers: Program Families: Program Construction by Context Independent Refinements. 251-286
• 
  Mark Moir: Fast, Long-Lived Renaming Improved and Simplified. 287-308
• 
  Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: State Space Reduction by Non-Standard Semantics for Deadlock Analysis. 309-338