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

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

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