Technique of so called DD-functions in deciding bisimilarity

Petr Jancar,
Techn. Univ. Ostrava, Czechia

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).

Everyone is welcome !

Updated 03-Feb-2004 16:51 by Roland Grönroos
e-mail: info -at-    Location: