Analysis of Concurrent Programs [Pisa]
WS Presentations Main Page
Next: Analysis/Transf. of AKL
Up: Document: achievements
Previous: Analysis of Concurrent
- Future plans:
- Verification of ccp programs.
- Analysis for load distribution of ccp processes in distributed
implementations.
- Application to analysis of CLP with dynamic scheduling.
- Investigating unified framework integrating partial solutions to ask
approximation problem.
Thu Jan 18 11:30:54 MET 1996 <herme@fi.upm.es>-<webmaster@clip.dia.fi.upm.es>