LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns
Han Peng, Chenglie Du, Lei Rao, Zhouzhou Liu, Journal of Information Processing Systems Vol. 15, No. 3, pp. 570-592, Jun. 2019

Keywords: Behavior Semantic, Design Pattern Instantiation, Event-B Design Patterns, Labeled Transition System
Fulltext:
Abstract
Statistics
Show / Hide Statistics
Statistics (Cumulative Counts from November 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.
Statistics (Cumulative Counts from November 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.
|
Cite this article
[APA Style]
Han Peng, Chenglie Du, Lei Rao, & Zhouzhou Liu (2019). LTS Semantics Model of Event-B Synchronization
Control Flow Design Patterns. Journal of Information Processing Systems, 15(3), 570-592. DOI: 10.3745/JIPS.01.0043.
[IEEE Style]
H. Peng, C. Du, L. Rao and Z. Liu, "LTS Semantics Model of Event-B Synchronization
Control Flow Design Patterns," Journal of Information Processing Systems, vol. 15, no. 3, pp. 570-592, 2019. DOI: 10.3745/JIPS.01.0043.
[ACM Style]
Han Peng, Chenglie Du, Lei Rao, and Zhouzhou Liu. 2019. LTS Semantics Model of Event-B Synchronization
Control Flow Design Patterns. Journal of Information Processing Systems, 15, 3, (2019), 570-592. DOI: 10.3745/JIPS.01.0043.