Personal tools
You are here: Home Events LFCS PhD Lunch

LFCS PhD Lunch

— filed under:

Pizza Lunch and informal tutorial for all LFCS PhD students

What
  • Upcoming events
When Mar 06, 2014
from 01:00 PM to 03:00 PM
Where IF 4.31
Add event to calendar vCal
iCal

PhD Lunch in February will be on the 27th at the usual time 1-3pm.

FREE PIZZA and other snacks will be provided. The tutorial will be given by Vashti Galpin on 

 
Process algebra/equivalence
=======================================
I will give a moderately high-level overview of three main approaches to
process algebra: CCS, CSP and ACP, covering the different approaches
taken in defining their semantics, and highlighting the different types
of operators used. I will also present some material on the hierarchy of 
semantic equivalences that ranges from trace equivalence to bisimulation.
If time permits, I may also cover weak equivalences.
 
See you there
Document Actions