A Decade Of Concurrency: Reflections And Perspectives

The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming.The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation to fields such as artificial intelligence, databases, operations research, problem solving, and user interfaces. This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP.

.This monograph is a revised version of the author's Ph.

This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990.Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory.

.

.

It puts special emphasis on new technologies relevant to industrial engineering expert systems, such as model-based diagnosis, qualitative reasoning, planning, and design, and to the conditions in which they operate, in real time, with database support.The workshop is especially relevant for engineering environments like CIM (computer integrated manufacturing) and process automation..

The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency.

Algebraic algorithms are not only interesting theoretically but also important in computer and communication engineering and many other fields. This volume contains the proceedings of the 9th AAECC conference, held in New Orleans, LA, in October 1991.

A Decade of Concurrency: Reflections and Perspectives.The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place. The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency. Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing.

This volume contains the proceedings of the 9th AAECC conference, held in New Orleans, LA, in October 1991. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes Researchers from Europe, America, Japan and other regions of the world presented papers at the conference.