You are here: UCM Web>UCMVirtualLibrary>VirLibGcs98 (05 Aug 2006)


  • This report proposes an approach for the design and validation of distributed systems using scenarios (UCMs) and formal methods (LOTOS). The case study is one of a generic Group Communication Server (GCS).

-- Jean Francois Roy - 18 Oct 2005

Form For Virtual Library edit

Title Group Communication Server: A Scenario-Based Design Exercise
Authors D. Amyot
Type Other
Conference/Journal Title CITO report #1388
Month June
Year 1998
Topic attachments
I Attachment Action Size Date Who Comment
elselot gcs22.lot manage 133.9 K 05 Aug 2006 - 15:25 Daniel Amyot LOTOS specification
htmlhtml gcs22.lot.html manage 376.4 K 05 Aug 2006 - 15:26 Daniel Amyot LOTOS specification (HTML)
pdfpdf gcsJune1998.pdf manage 1398.9 K 17 Oct 2005 - 22:35 Jean Francois Roy report
pdfpdf mitel99nov23.pdf manage 191.6 K 17 Oct 2005 - 23:49 Jean Francois Roy Presentation
Topic revision: r3 - 05 Aug 2006 - 15:26:41 - Daniel Amyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback