25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings Farn Wang ... Some of these issues are addressed by annotations, but actualised data types have to be expanded manually, and some data types need manual realisations. ... The second requests a Ford Mondeo, and allows a specified schedule or an unavailable message in return. test(Simultaneous Purchasesanbsp;...
|Title||:||Formal Techniques for Networked and Distributed Systems - FORTE 2005|
|Publisher||:||Springer Science & Business Media - 2005-09-26|