The book outlines some current trends, techniques and problems in theoretical computer science and related disciplines. It is intended for those seeki...
The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism,...
The book studies equational logic of structures using systems of reductions. The process of completing a system is studied as well as properties of fi...
The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986....
This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structu...
