1 citations · 1 across the 1 of their papers we have counts for
1 paper
Yan Zhang, Zhaohui Zhu, Jinjin Zhang +1
In order to combine operational and logical styles of specifications in one unified framework, the notion of logic labelled transition systems (Logic LTS, for short) has been prese…