Logics for Concurrency: Structure versus Automata von Moller, Faron, Birtwistle, Graham

Volltext

An automata-theoretic approach to linear temporal logic von Vardi, Moshe Y.

Volltext

The Family of 4-phase Latch Protocols von Birtwistle, G., Stevens, K.S.

Volltext

Asger Jorn's Solutions for Architecture von Birtwistle, Graham, Shield, Peter

Volltext

Specification Structures and propositions-as-types for concurrency von Abramsky, Samson, Gay, Simon, Nagarajan, Rajagopal

Volltext

Concurrency Reduction of Untimed Latch Protocols - Theory and Practice von Varanasi, Santosh N, Stevens, Kenneth S, Birtwistle, Graham

Volltext

A denotational semantics for a process-based simulation language von Tofts, Chris, Birtwistle, Graham

Volltext

Decidability results in automata and process theory von Hirshfeld, Yoram, Moller, Faron

Volltext

Relating operational and denotational descriptions of πDemos von Birtwistle, Graham, Tofts, Chris

Volltext

Getting Demos models right. (I). Practice von Birtwistle, Graham, Tofts, Chris

Volltext

Getting Demos models right. (II) … and theory von Birtwistle, Graham, Tofts, Chris

Volltext

Formalising the design of an SECD chip von Graham, Brian, Birtwistle, Graham

Volltext

Whatever Happened to Primitivism? A Case Study in the Cultural Politics of Art History and Intellectual History von Birtwistle, Graham

Volltext

Presenting von Birtwistle, Graham

Volltext

Automated temporal reasoning about reactive systems von Emerson, E. Allen

Volltext

Modal and temporal logics for processes von Stirling, Colin

Volltext

Introduction

Volltext

The coroutines of Hanoi von Birtwistle, Graham

Volltext

IN MEMORIAM HANS R. ROOKMAAKER von Birtwistle, Graham M.

Volltext

Towards A Vlsi Design Tool System von Liblong, Breen, Melham, Tom, Birtwistle, Graham, Kendall, John

Volltext