6 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Zhaohui Zhu, Yan Zhang, Jinjin Zhang
Process algebra and temporal logic are two popular paradigms for the specification, verification and systematic development of reactive and concurrent systems. These two approaches…