EPSRC logo

Details of Grant 

EPSRC Reference: GR/J11140/01
Title: THEORY OF SPEED INDEPENDENT CIRCUITS
Principal Investigator: Mycroft, Professor A
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Science and Technology
Organisation: University of Cambridge
Scheme: Standard Research (Pre-FEC)
Starts: 01 April 1994 Ends: 31 December 1997 Value (£): 121,111
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
1. To develop compositional models for asynchronous hardware;2. To related hardware notions to those in the semantics of programming languages;3. To develop and implement analysis and synthesis tools for the above.Progress: The grant is still in the preliminary exploratory phase. Work so far has included: a proof of correctness of a potentially asynchronous FIFO priority queue; defining a process algebra which captures TANGRAM semantics by translation; and more theoretical work on relating Mullers notions of speed-independence to modern concurrency concepts.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.cam.ac.uk