33 search results - page 2 / 7 » lics 2005 |
LICS
2005
IEEE
16 years 2 days ago
2005
IEEE
175
click to vote
CSL
2005
Springer
16 years 21 hour ago
2005
Springer
ce, the publication of the abstract of the thesis and the citation in the CSL proceedings, and travel support to attend the conference. The first Ackermann Award is presented at t...
DATE
2005
IEEE
16 years 3 days ago
2005
IEEE
160
click to vote
LICS
2005
IEEE
16 years 2 days ago
2005
IEEE
We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...