This monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be

This volume contains the proceedings of the Fifteenth Colloquium on Trees in Algebra and Programming. The papers selected present new research results and cover

The Nordic Conference on Advanced Information Systems Engineering (CAiSE) is an annual international conference for users, developers and researchers of informa

Physics students who want to become familiar with advanced computational strategies in classical and quantum dynamics will find here a detailed treatment many w

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most repr