Filter
Datakommunikasjon og nettverk
Filter
First published in 1999, this book combines traditional graph theory with the matroidal view of graphs and throws light on mathematical aspects of network analysis. This approach …
The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets …
This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid …
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment …