Volume 52; Issue 1

2

Adequate Sets of Temporal Connectives in CTL

Year:
2002
Language:
english
File:
PDF, 252 KB
english, 2002
5

Preface: Volume 52, Issue 1

Year:
2002
Language:
english
File:
PDF, 46 KB
english, 2002
6

On logical and concurrent equivalences

Year:
2002
Language:
english
File:
PDF, 290 KB
english, 2002
7

Rewrite Systems with Constraints

Year:
2002
Language:
english
File:
PDF, 375 KB
english, 2002
9

Broadcast Calculus Interpreted in CCS upto Bisimulation

Year:
2002
Language:
english
File:
PDF, 314 KB
english, 2002
10

10.1016/S1571-0661(05)00221-5

Year:
2002
Language:
english
File:
PDF, 521 KB
english, 2002