Models of Concurrency and Open Computing
- Friday 24 November 2006, 10:00 to 16:30
- BCS Offices, First Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA
- Open to:
- Public, Staff, Students
Models of Concurrency and Open Computing: A one day seminar to commemorate the retirement of Mike Shields.
Mike Shields devoted his research career to developing some innovative and elegant foundational work on models of concurrency. In this seminar to commemorate Mike's retirement we will argue that the need for his work has never been greater. Much of the foundational work on "Classical Computation" either explicitly or implicitly works within these assumptions [Costa and Dimuro, 2005]:
- A computing machine operates as a closed system, operating as a function to transform inputs to outputs;
- A computing machine may only use finite resources, thus dismissing infinite computations;
- The structure of the computing machine remains fixed during computation.
None of these assumptions are valid in the areas of ubiquitous computing and service oriented computing. As yet, the extended (and more realistic) domain of “Interactive Computation” does not have an agreed theoretical foundation. The talks at this seminar will all help us explore the hypothesis that “Mike’s views on true concurrency are critical to the success of developing a theory of Interactive Computation”.