01481nam--2200409---450-99000185298020331620040715095900.03-540-20491-1000185298USA01000185298(ALEPH)000185298USA0100018529820040715d2003----km-y0itay0103----baengDEa|||||||001yyFormal methods for open object-based distributed systems6th IFIP WG 6.1 international conference, FMOODS 2003Paris, France, November 19-21, 2003proceedingsie Najm, Uwe Nestmann, Perdita Stevens (Eds.)Berlin [etc.]Springercopyr. 2003X, 292 p.ill.24 cm.Lecture notes in computer science28842001Lecture notes in computer science28842001001-------2001Programmazione orientata oggettiCongressi005.131NAJM,ElieNESTMANN,UweSTEVENS,PerditaInternational conference on formal methods for open object-based distributed systems< 6. ; 2003 ; Paris, France>564367ITsalbcISBD990001852980203316001 LNCS 28840030489/CBS00100114288BKSCIRIVELLI9020040715USA010959Formal methods for open object-based distributed systems955995UNISA