Technique of so called DD-functions in deciding bisimilarity
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.
Place: Information technology, Uppsala University
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- astec.uu.se