103
click to vote
SOFSEM
2009
Springer
16 years 3 days 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...