Hybrid Parallel Execution Model for Logic-based Specification Languages.

Parallel processing is a very important technique for improving the performance of various software development and maintenance activities.

The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems.

These techniques are very useful for the construction, analysis, and transformation of reliable large-scale and complex software systems.