Search Word(s) in Title, Keywords, Authors, and Abstract: Behavior Semantic

LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns
Han Peng, Chenglie Du, Lei Rao and Zhouzhou Liu
Page: 570~592, Vol. 15, No.3, 2019
10.3745/JIPS.01.0043
Keywords: Behavior Semantic, Design Pattern Instantiation, Event-B Design Patterns, Labeled Transition System
Show / Hide Abstract