[jboss-jira] [JBoss JIRA] Deleted: (JGRP-660) Model FLUSH in Promela and run simulations in Spin

[Bela Ban (JIRA)]

     [ https://issues.jboss.org/browse/JGRP-660?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Bela Ban deleted JGRP-660:
--------------------------


> Model FLUSH in Promela and run simulations in Spin
> --------------------------------------------------
>
>                 Key: JGRP-660
>                 URL: https://issues.jboss.org/browse/JGRP-660
>             Project: JGroups
>          Issue Type: Feature Request
>            Reporter: Vladimir Blagojevic
>            Assignee: Vladimir Blagojevic
>
> We should model FLUSH in Promela and run model simulations in SPIN. Verify feasibility and cost/benefit of this approach. If the outcome is beneficial consider modeling other protocols as well. 

--
This message is automatically generated by JIRA.
For more information on JIRA, see: http://www.atlassian.com/software/jira