VOLUME 7 2002 NUMBER 2

Special Issue with Selected Papers on Topics of the Workshop on Logic and Algebra for Concurrency (LAC 2000)

Manfred Droste, Paul Gastin:
Editorial165–165
Patricia Bouyer, Antoine Petit:
A Kleene/Büchi-Like Theorem for Clock Languages167–186
Dietrich Kuske, Rémi Morin:
Pomsets for Local Trace Languages187–224
Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis:
Black Box Checking225–246
Pascal Tesson, Denis Thérien:
The Computing Power of Programs over Finite Monoids247–258
Igor Walukiewicz:
Local Logics for Traces259–290