37 citations · 105 across the 15 of their papers we have counts for
1 paper · 2 filters
Jean Krivine
A verification method for distributed systems based on decoupling forward and backward behaviour is proposed. This method uses an event structure based algorithm that, given a CCS…