Show items per page
Elements: 74
Page 1 on 4
 TitleAuthors / EditorsDate
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
ACCESS - Algebraic Concurrent Events for System Specification Di Marzo Serugendo, Giovanna; Buchs, Didier 1994
add to browser selection
Messenger-Based Operating Systems Di Marzo Serugendo, Giovanna; Muhugusa, Murhimanya; Harms, Jurgen 1994
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
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
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
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
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
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
A Formal Developement and Validation Methodology for System Design Di Marzo Serugendo, Giovanna 1999
add to browser selection
Formal development and validation of Java dependable distributed systems Di Marzo Serugendo, Giovanna; Guelfi, Nicolas; Romanovsky, Alexander; Zorzo, Avelino Francisco 1999
<< previous | 1 | 2 | 3 | 4 |