7992 search results - page 13 / 1599 » Communication Abstractions for Distributed Systems |
163
Voted
CAV
2009
Springer
16 years 6 months 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...
116
Voted
EMSOFT
2007
Springer
15 years 12 months ago
2007
Springer
90
Voted
ITNG
2010
IEEE
15 years 11 months ago
2010
IEEE
130
Voted
DAGSTUHL
2004
15 years 7 months ago
2004
139
Voted
BIRTHDAY
2010
Springer
15 years 7 months 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...