General References

[Broy et al. 91]

M Broy, F Dederichs, C Dendorfer, M Fuchs, T F Gritzner, and R Weber, The Design of Distributed Systems --- An Introduction to FOCUS, Technical Report, SFB 342/2/92 A, Technische Universität München, January 1992.

[Delgado Kloos 87]

C Delgado Kloos, Semantics of Digital Circuits, Berlin, Springer 1987, Lectures Notes in Computer Science 285.

[Delgado Kloos 89]

C Delgado Kloos, Fixpoints and Flipflops, in M Broy (ed.), Informatik und Mathematik, Berlin, Springer 1989, 73 -- 85.

[Dosch 94]

W Dosch, Algorithmics of Digital Counters, in J Ebert (Hrsg.), Alternative Konzepte für Sprachen und Rechner. 10. Workshop der Fachgruppe 2.1.4 der Gesellschaft für Informatik, 26 -- 28. April 1993, Bad Honnef, Koblenz, Institut für Informatik, Universität Koblenz, Bericht 4/94, 1 -- 19.

[Heering et al. 94]

J Heering, K Meinke, B Möller, T Nipkow (eds.), Higher order algebra, logic and term rewriting. Lecture Notes in Computer Science 816, Berlin, Springer 1994.

[Kumar, Kropf 96]

R Kumar, T Kropf (eds.), Theorem provers in circuit Design, Lecture Notes in Computer Science 901. Berlin, Springer 1995 (to appear)

[Olderog 91]

E-R Olderog, Nets, terms and formulas. Cambridge, Cambridge University Press 1991

[Holden 95]

A V Holden (ed), Nonlinear phenomena in excitable physiological systems, Pergamon, Oxford, April 1995.

[Holden, Panfilov 95]

A V Holden and A V Panfilov (eds), Computational biology of the heart, Wiley, Chichester, summer 1995.

[Biktashev, Holden, Zhang 94]

V N Biktashev, A V Holden and H Zhang, Tension of organising filaments of scroll waves, Phil Trans Roy Soc A 347 611 -- 30, 1994.

[Biktashev, Holden 94]

V N Biktashev and A V Holden, Design principles of a low voltage cardiac defibrillator based on the effects of feedback resonant drift, J Theory Biol 169 101 -- 11, 1994.

[Biktashev, Holden 95a]

V N Biktashev and A V Holden, Control of reentrant activity by resonant drift in a two-dimensional model of isotropic homogeneous atrial tissue, Proc Roy Soc B, in press 1995.

[Biktashev, Holden 95b]

V N Biktashev, A V Holden, Resonant drift of autowave vortices in 2D and the effects of boundaries and inhomogeneities, Chaos, Solitons and Fractals 5, 575 -- 622 1995.

[Boyett et al. 95]

M R Boyett, A V Holden, I Kodama, R Suzuki and H Zhang, Atrial modulation of sinoatrial pacemaker rate, Chaos solitons and fractals 5 425 -- 438 1995.

[Holden, Zhang 95]

A V Holden and H Zhang, Characteristics of atrial reentry and meander computed from a model of a rabbit single atrial cell, J Theory Biol, in press 1995.

[Zhang, Holden 95]

H Zhang and A V Holden, Chaotic meander of spiral waves in the FitzHugh-Nagumo system, Chaos, Solitons and Fractals 5 661 -- 672 1995.

[Zhang, Patel 95]

H Zhang and N Patel, Spiral wave breakdown in an excitable medium model of cardiac tissue, Chaos, Solitons and Fractals 5 635 -- 644 1995.

[Holden 94]

A V Holden, Reconstructing the heart, Physics World 6 25 -- 26 1994.

[Wilby, Lab, Holden 94]

M R Wilby, M J Lab and A V Holden, A model of dynamical signal propagation in the heart, J Theory Biol 168 399 -- 406 1994.