231 search results - page 16 / 47 » Concurrent Reachability Games |
PODC
2009
ACM
14 years 9 months ago
2009
ACM
Imitating successful behavior is a natural and frequently applied approach to trust in when facing scenarios for which we have little or no experience upon which we can base our d...
SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
FSTTCS
2006
Springer
14 years 8 days ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
CONCUR
2004
Springer
14 years 2 months ago
2004
Springer
