913 search results - page 85 / 183 » Full Abstraction for Linda |
COMCOM
2007
13 years 8 months ago
2007
Dense wavelength division multiplexing (DWDM) has become the dominant transport layer technology for next-generation backbone networks due to its unprecedented capacity scalabilit...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
PDPTA
2010
13 years 6 months ago
2010
Abstract-- The success of Web Services as a tool to decouple and distribute different processes is beyond any doubt. On the one hand, their distributed nature makes them perfect to...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
SEMWEB
2005
Springer
14 years 2 months ago
2005
Springer
onograph will be also published in Spanish (full version printed; summary, abstracts, and some articles online) by Novática, journal of the Spanish CEPIS society ATI (Asociación ...