Personal tools
 
You are here: Home → Events → CISA Seminar: Petros Papapanagiotou

CISA Seminar: Petros Papapanagiotou

— filed under:

Rigorous process-based modelling of patterns for collaborative work in healthcare teams

What
  • CISA Seminar
When Jun 04, 2012
from 02:00 PM to 02:30 PM
Where IF4.31/33
Add event to calendar vCal
iCal

Abstract: We review recently proposed notions of healthcare patterns for collaborative work and show how these can be cast in terms of composition of processes. The approach uses a purely diagrammatic language to drive a logic-based verification engine, resulting in fully-verified workflows that capture the information flow in these patterns. This talk is also a rehearsal for a paper to be presented at CBMS 2012 in June.

Document Actions