Abstract: Process Algebras
Yoram Hirshfeld (Tel Aviv)
The theory of Process Algebras was developed around 15-20 years ago, and did not see much development since then.
Like other models that reflect aspects of computational phenomena it is unclear if it is of lasting importance,
but it deserves not being discarded yet. It is the basic algebraic model that treats simple non communicating parallel processes
and some natural infinite state machines related to context free.
The talk will survey the existing theory, describe an open problem or two, and possibly report failure to solve these problems.