next up previous

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 :
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