6 citations · 7 across the 5 of their papers we have counts for
1 paper · 2 filters
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…