11 citations · 32 across the 5 of their papers we have counts for
1 paper · 1 filter
Andrea Cerone, Matthew Hennessy
Process behaviour is often defined either in terms of the tests they satisfy, or in terms of the logical properties they enjoy. Here we compare these two approaches, using extensio…