G. M. Birtwistle

• Asynchronous Digital Circuit Design
• Current Trends in Hardware Verification and Automated Theorem Proving
• Current trends in hardware verification and automated theorem proving
• DEMOS, a system for discrete event modelling on Simula
• IV Higher Order Workshop, Banff 1990
• Logics for concurrency
• SIMULA begin
• VLSI and parallel computation
• VLSI specification, verification, and synthesis
• A system for discrete event modelling on SIMULA
• Lebendige Kunst
• Living art