Exploring adaptability of secure group communication using formal prototyping techniques.
Sebastian Gutierrez-Nolasco, Nalini Venkatasubramanian, Mark-Oliver Stehr, Carolyn L. Talcott
VenueAMiddleware
Year2004
ProceedingsAdaptive and Reflective Middleware
DBLP recordconf/middleware/Gutierrez-NolascoVST04 ↗
Browse the full Middleware paper archive.