6 citations · 8 across the 12 of their papers we have counts for
1 paper · 1 filter
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
Recently, in order to mix algebraic and logic styles of specification in a uniform framework, the notion of a logic labelled transition system (Logic LTS or LLTS for short) has bee…