3573 search results - page 50 / 715 » Reasoning about Codata |
100
click to vote
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
SEFM
2007
IEEE
15 years 5 months ago
2007
IEEE
AOSE
2007
Springer
15 years 5 months ago
2007
Springer
FASE
2007
Springer
15 years 5 months ago
2007
Springer