Search

Di Marzo Serugendo, Giovanna
 
Advanced search
Browse by...
Refine your research by the most used items

Author / Editor

Document type

Full text accessibility

Full text version

Licence

Subject

Deposit
Highlights
More informations
Show items per page
Elements: 76
Page 1 on 4
 TitleAuthors / EditorsDate
add to browser selection
 ACCESS - Algebraic Concurrent Events for System Specification Di Marzo Serugendo, Giovanna; Buchs, Didier 1994
add to browser selection
 COMSCRIPT: An Environment for the Implementation of Protocol Stacks and their Dynamic Reconfiguration Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Tschudin, Christian; Solana, Eduardo; Harms, Jurgen 1994
add to browser selection
 Messenger-Based Operating Systems Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Harms, Jurgen 1994
add to browser selection
 Mathematical Formalization of the Messenger Paradigm Di Marzo Serugendo, Giovanna 1995
add to browser selection
 A Distributed Micro–Kernel for Communications Messengers Di Marzo Serugendo, Giovanna; Tschudin, Christian; Muhugusa, Murhimanya; Harms, Jurgen 1995
add to browser selection
 The Messenger paradigm and its implications on distributed systems Di Marzo Serugendo, Giovanna; Harms, Jurgen; Tschudin, Christian; Muhugusa, Murhimanya 1995
add to browser selection
 Distributed Semaphore In A Messenger Environment Di Marzo Serugendo, Giovanna; Tschudin, Christian; Muhugusa, Murhimanya; Harms, Jurgen 1995
add to browser selection
 SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools Di Marzo Serugendo, Giovanna; Biberstein, Olivier; Buchs, Didier; Buffo, Mathieu; ... Racloz, Pascal 1995
add to browser selection
 Distributed Services in a Messenger Environment Di Marzo Serugendo, Giovanna; Harms, Jurgen; Muhugusa, Murhimanya; Tschudin, Christian 1996
add to browser selection
 Access Consistency Memory Model for Messengers Di Marzo Serugendo, Giovanna; Harms, Jurgen; Muhugusa, Murhimanya; Tschudin, Christian 1996
add to browser selection
 Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Harms, Jurgen; Tschudin, Christian 1996
add to browser selection
 Communication Messengers as a Basis for Distributed Algorithms Di Marzo Serugendo, Giovanna; Harms, Jurgen; Billard, David; Tschudin, Christian; Murhimanya, Muhugusa 1997
add to browser selection
 Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions Di Marzo Serugendo, Giovanna; Guelfi, Nicolas; Romanovsky, Alexander; Zorzo, Avelino 1998
add to browser selection
 CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions Di Marzo Serugendo, Giovanna; Guelfi, Nicolas; Romanovsky, Alexander; Zorzo, Avelino 1998
add to browser selection
 A survey of theories for mobile agents Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Tschudin, Christian 1998
add to browser selection
 Formal development of Java based Web parallel applications Di Marzo Serugendo, Giovanna; Guelfi, Nicolas 1998
add to browser selection
 Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study Di Marzo Serugendo, Giovanna; Guelfi, Nicolas 1998
add to browser selection
 COALA - A Formal Language for Coordinated Atomic Actions Di Marzo Serugendo, Giovanna; Vachon, Julie; Buchs, Didier; Buffo, Mathieu; ... Xu, Jie 1998
add to browser selection
 Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss Federal Institute of Technology, EPFL, Lausanne Di Marzo Serugendo, Giovanna 1999
add to browser selection
 A Formal Developement and Validation Methodology for System Design Di Marzo Serugendo, Giovanna 1999
<< previous | 1 | 2 | 3 | 4 |