33 search results - page 2 / 7 » lics 2005 |
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
62
Voted
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
123
click to vote
CSL
2005
Springer
15 years 7 months 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
15 years 7 months ago
2005
IEEE
91
Voted
LICS
2005
IEEE
15 years 7 months 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 ...