Searching for "Model Checking Publish-Subscribe Systems." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Model Checking Publish-Subscribe Systems
- …Model Checking Publish-Subscribe Systems David Garlan, Serge Khersonsky, and Jung Soo Kim Carnegie…
- Add To MetaCart
-
Model checking publish-subscribe systems
- …, 2003, Portland, Oregon. Model Checking Publish-Subscribe Systems David Garlan, Serge Khersonsky…
- Cited by 29 (1 self) – Add To MetaCart
-
Formal Analysis of Clients Mobility in the SIENA Publish/Subscribe Middleware
- …. 4.3 Abstract Interpretation Other works about model checking publish/subscribe systems [7, 8…
- Cited by 18 (0 self) – Add To MetaCart
Showing 1 through 3.
