33 search results - page 2 / 7 » lics 2005 |
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
CSL
2005
Springer
14 years 29 days 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
14 years 1 months ago
2005
IEEE
LICS
2005
IEEE
14 years 1 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 ...