|
| Final Report of the COST-247 Action |
Features of a new process algebra
Kemal Inan
| Electrical & Electronics Engineering Department |
| Middle East Technical University |
| Ankara 06531, Turkey |
| e-mail : inan@srdc.metu.edu.tr |
| tel : +90-312-2101298 and +90-312-2102324 |
| fax : +90-312-2101411 and +90-312-2101261 |
A new process algebra is presented in which the synchronization scope can dynamically change. This flexibility of synchronization has advantages of simplicity in expression as demonstrated via a few examples.
This presentation has been given during the COST-247 5th Management Committee Meeting (Warsaw, Poland, June 12--13, 1995).
COST-247 Working Group(s): 1
This Page was prepared by Mark Jorgensen.
Back to the VASY Home page