7992 search results - page 13 / 1599 » Communication Abstractions for Distributed Systems |
CAV
2009
Springer
16 years 6 days ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
ITNG
2010
IEEE
15 years 4 months ago
2010
IEEE
DAGSTUHL
2004
15 years 1 months ago
2004
BIRTHDAY
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...