Output details
11 - Computer Science and Informatics
University of Surrey
Output title
A CSP Approach to Control in Event-B
Type
E - Conference contribution
Name of conference/published proceedings
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Volume number
6396
Issue number
-
First page of article
260
ISSN of proceedings
1611-3349
Year of publication
2010
URL
-
Number of additional authors
-
Additional information
<10>For many years the absence of event-based modelling has been a significant weakness of the state-based approach of Event-B because complex control behaviour needs to be modelled indirectly using flags in event guards. We have solved this problem by introducing event-based modelling and reasoning into Event-B using a process algebraic approach. Influenced by this work, the Event-B community is beginning to use the approach for domain modelling. The paper has had 21 Google Scholar citations (at 22/10/13) since 2010.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
7
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
