The stdudy of temporal logics, is one form or another, in computing applications has become both a prominent and promising research direction. Conside...
In this volume the logical foundations and the computational aspects of a rather general order-sorted logic are investigated. This sorted logic extend...
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of th...
This book includes the papers presented at the Third International Workshop on Distributed Algorithms organized at La Colle-sur-Loup, near Nice, Franc...
