Differences

This shows you the differences between two versions of the page.

interests [2012/01/05 11:54]
marco [Unit of IT University of Copenhagen]
interests [2012/01/05 11:55] (current)
marco [Unit of IT University of Copenhagen]
Line 304: Line 304:
 == Logics for Choreography Languages == == Logics for Choreography Languages ==
  
-We want to explore logical reasoning for choreographies with the aim to provide a methodology for specification and verification of structured communications. We aim at developing further the work undertaken in [CGHL10] aiming at choreographies with multiparty sessions [CM12] and investigate how it could be related to the work in [BHTY10].+We want to explore logical reasoning for choreographies with the aim to provide a methodology for specification and verification of structured communications. We aim at developing further the work undertaken in [CGHL10] by including choreographies with multiparty sessions [CM12] and investigate how it could be related to the work in [BHTY10].
  
   * [CHY07]  Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centred Programming for Web Services. ESOP 2007.   * [CHY07]  Marco Carbone, Kohei Honda, Nobuko Yoshida: Structured Communication-Centred Programming for Web Services. ESOP 2007.
 
interests.txt · Last modified: 2012/01/05 11:55 by marco
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki