Search results
From Event-B
Jump to navigationJump to searchCreate the page "Blocking users" on this wiki! See also the search results found.
- Of course, the database will change when users edit their models. We therefore must define a policy for updating the inde ...e them for later processing by the indexing thread. This is done through a blocking queue.14 KB (2,204 words) - 12:58, 12 October 2009
- ** ProcedureDef - Identifies an event that maps to a (potentially blocking) subroutine definition. Event guards are implemented as a conditional wait; == For Users ==15 KB (2,298 words) - 15:08, 27 January 2011