5243 search results - page 60 / 1049 » Reasoning About Strategies |
194
Voted
TLCA
2009
Springer
15 years 7 months ago
2009
Springer
133
click to vote
UC
2009
Springer
15 years 7 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
119
Voted
TASE
2008
IEEE
15 years 7 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...
104
click to vote
CSFW
2007
IEEE
15 years 6 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...