Sciweavers

22 search results - page 2 / 5
» tocl 2008
Sort
View
TOCL
2010
48views more  TOCL 2010»
13 years 2 months ago
Deciding strategy properties of contract-signing protocols
Detlef Kähler, Ralf Küsters, Thomas Wilk...
TOCL
2010
56views more  TOCL 2010»
13 years 2 months ago
On the completeness of compositional reasoning methods
Kedar S. Namjoshi, Richard J. Trefler
TOCL
2008
48views more  TOCL 2008»
13 years 3 months ago
Coordination in answer set programming
Chiaki Sakama, Katsumi Inoue