Abstract
The aim is to explain the main ideas of recent algorithms deciding bisimilarity on BPP (Basic Parallel Processes) and between BPA ("basic sequential processes") and BPP. The talk is mainly based on the papers presented at LiCS´03 and Concur´03.

ASTEC seminar
February 11, 2004

Place: Information technology, Uppsala University
Room: 1211
Time: 13.15-14.00

Room 1211 is in building 1, floor 2, (in the southern part of the building).