J
Ji Wang
Publications - 4
Citations - 25
Ji Wang is an academic researcher. The author has contributed to research in topics: Automaton & Transition system. The author has an hindex of 3, co-authored 4 publications receiving 25 citations.
Papers
More filters
Book ChapterDOI
Bridging refinement of interface automata to forward simulation of I/O automata
Yanjun Wen,Ji Wang,Zhichang Qi +2 more
TL;DR: It is proven that an interface automaton refines another if and only if there exists a special kind of forward simulation between their corresponding I/O automata, which shows the essential relation between interface automata and I/o automata on refinements.
Journal Article
Reverse observation equivalence between labelled state transition systems
Yanjun Wen,Ji Wang,Zhichang Qi +2 more
TL;DR: A new equivalence is presented, namely called reverse observation equivalence which is defined in the opposite direction to observation equivalences and orients the invariant checking of LSTS.
Book ChapterDOI
Reverse observation equivalence between labelled state transition systems
Yanjun Wen,Ji Wang,Zhichang Qi +2 more
TL;DR: In this article, a reverse observation equivalence is proposed, which is defined in the opposite direction to observation equivalences and orients the invariant checking of labeled state transition systems.
Book ChapterDOI
2/3 alternating simulation between interface automata
Yanjun Wen,Ji Wang,Zhichang Qi +2 more
TL;DR: In this article, the authors investigated the refinement of interface automata and showed its application to serve as a semantic foundation for software architectural description languages, such as Wright, where the checking of compatibility and deadlock-freedom becomes simpler.