 |
|
 |
Back to list of 2004/05 seminars
Abstract for Seminar
| Refining Functions to Processes: models, methods and applications | ||
|---|---|---|
| Tuesday 1st March 2005 | 16:00 | The Brian Spratt Room |
|
Dr Ali E Abdallah
Institute for Computing Research London South Bank University |
Abstract | |
|
| ||
The world of functions is usually based on abstract mapping between input and output values. The world of processes is usually based on concrete events and patterns of behaviour. The former is well suited for capturing specifications and expressing designs. The latter, on the other hand, is much more suited for describing implementations in conventional as well as in parallel and hardware forms. There is a need to have a better understanding of the relationship between these two worlds and, in particular, to establish a foundation for correctly refining functions to processes.
In this talk, we explore possibilities for modelling functions as processes and for defining the mathematical notion of refinement from functions to processes. We investigate algebraic laws and transformational methods which allow refinement to be compositional. The application of these methods are illustrated in derivation of parallel algorithms and the construction of provably correct hardware circuits in FPGAs.
| Computer Science @ Kent |
|
|
|
Last modified Thu Feb 24 14:15:14 GMT 2005
Problems with this page? Contact the CS Webmaster |
| http://www.cs.kent.ac.uk/dept_info/seminars/2004_05/abs_2005_03_01.html | |