| Title | Authors / Editors | Date |
unige:55432 |
ACCESS - Algebraic Concurrent Events for System Specification |
Di Marzo Serugendo, Giovanna; Buchs, Didier |
1994 |
unige:48268 |
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 |
unige:55419 |
Messenger-Based Operating Systems |
Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Harms, Jurgen |
1994 |
unige:55421 |
Mathematical Formalization of the Messenger Paradigm |
Di Marzo Serugendo, Giovanna |
1995 |
unige:55425 |
A Distributed Micro–Kernel for Communications Messengers |
Di Marzo Serugendo, Giovanna; Tschudin, Christian; Muhugusa, Murhimanya; Harms, Jurgen |
1995 |
unige:48371 |
The Messenger paradigm and its implications on distributed systems |
Di Marzo Serugendo, Giovanna; Harms, Jurgen; Tschudin, Christian; Muhugusa, Murhimanya |
1995 |
unige:55391 |
Distributed Semaphore In A Messenger Environment |
Di Marzo Serugendo, Giovanna; Tschudin, Christian; Muhugusa, Murhimanya; Harms, Jurgen |
1995 |
unige:55420 |
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 |
unige:55422 |
Distributed Services in a Messenger Environment |
Di Marzo Serugendo, Giovanna; Harms, Jurgen; Muhugusa, Murhimanya; Tschudin, Christian |
1996 |
unige:55423 |
Access Consistency Memory Model for Messengers |
Di Marzo Serugendo, Giovanna; Harms, Jurgen; Muhugusa, Murhimanya; Tschudin, Christian |
1996 |
unige:55424 |
Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory |
Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Harms, Jurgen; Tschudin, Christian |
1996 |
unige:48372 |
Communication Messengers as a Basis for Distributed Algorithms |
Di Marzo Serugendo, Giovanna; Harms, Jurgen; Billard, David; Tschudin, Christian; Murhimanya, Muhugusa |
1997 |
unige:55426 |
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 |
unige:55429 |
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 |
unige:48257 |
A survey of theories for mobile agents |
Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Tschudin, Christian |
1998 |
unige:48308 |
Formal development of Java based Web parallel applications |
Di Marzo Serugendo, Giovanna; Guelfi, Nicolas |
1998 |
unige:48309 |
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study |
Di Marzo Serugendo, Giovanna; Guelfi, Nicolas |
1998 |
unige:48373 |
COALA - A Formal Language for Coordinated Atomic Actions |
Di Marzo Serugendo, Giovanna; Vachon, Julie; Buchs, Didier; Buffo, Mathieu; ... Xu, Jie |
1998 |
unige:73318 |
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 |
unige:48310 |
A Formal Developement and Validation Methodology for System Design |
Di Marzo Serugendo, Giovanna |
1999 |