Revision history of "Trustworthy Pervasive Healthcare Services via Multiparty Session Types"

From thelas.dk

Jump to: navigation, search
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)

Diff selection: mark the radio boxes of the versions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with current version, (last) = difference with preceding version, M = minor edit.

  • (cur) (last) 21:50, 5 June 2013 Ln (Talk | contribs) (1,986 bytes) (New page: =Abstract= <p> This paper proposes a new theory of multiparty session types extended with propositional assertions and symmetric sum types for model- ing collaborative distributed workflow...)
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
Personal tools