Case Studies

Where possible, common case studies were considered at different sites. This was not always practical since not all case studies could be profitably studied using every sites' techniques and expertise.

Augsburg

Bounded buffer; single pulser; flip-flop; and arithmetic circuits.

Amsterdam

Case studies in SCAs/Process Algebra.

Leeds

Heart modeling using Cellular Automata and Coupled Map Lattices.

Swansea

Microprocessors and Coupled Map Lattices.

LMU

Min-Max.

TU

Min-Max; modulo-n counter; and FIFO.

Madrid

Bounded buffer; priority queue; and flip-flop.