Institute of Computer Science III
University of Bonn
Databases * Information Systems * Software Engineering *
Pattern Recognition * Image Processing * Artificial Intelligence * Robotics
Axioms for Concurrent Processes
Armin B. Cremers and Thomas N. Hibbard
The theoretical construct data space is intended for modeling
computing processes in general [1, 2, 3] and proved of considerable
utility in modelling algorithms designed for VLSI [4, 5]. It is here
applied, along with a sharpened definition of subspace, to
the formalization of two notions of concurrent processing: the
functional equivalence of message passing and shared memory, and the
mutual exclusion problem. A method for constructing big mutual
exclusion schemes from small ones is presented formally.
Click here to obtain the full paper (PS, gzip, 57597 bytes, 15 pages)
webmaster@www.informatik.uni-bonn.de -
16.12.05