graham birtwistle

IV Higher Order Workshop, Banff 1990

It is many years since Landin, Burge and others showed us how to apply higher order techniques an...

Asynchronous Digital Circuit Design

Current Trends in Hardware Verification and Automated Theorem Proving

This report describes the partially completed correctness proof of the Viper 'block model'. Viper...

VLSI Specification, Verification and Synthesis

VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-...

IV Higher Order Workshop, Banff 1990

It is many years since Landin, Burge and others showed us how to apply higher order techniques an...

Current Trends in Hardware Verification and Automated Theorem Proving

This report describes the partially completed correctness proof of the Viper 'block model'. Viper...

Logics for Concurrency

This book presents five tutorial-style lectures on various approaches to the problem of verifying...

VLSI Specification, Verification and Synthesis

VLSI Specification, Verification and Synthesis Proceedings of a workshop held in Calgary from 12-...

Asynchronous Digital Circuit Design

As the costs of power and timing become increasingly difficult to manage in traditional synchrono...

Lebendige Kunst

Eine grundlegende Untersuchung zur Entwicklung Asger Jorns KunsttheorieAuf den ersten Blick schei...