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: | |
Editorial | 165–165 |
Patricia Bouyer, Antoine Petit: | |
A Kleene/Büchi-Like Theorem for Clock Languages | 167–186 |
Dietrich Kuske, Rémi Morin: | |
Pomsets for Local Trace Languages | 187–224 |
Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis: | |
Black Box Checking | 225–246 |
Pascal Tesson, Denis Thérien: | |
The Computing Power of Programs over Finite Monoids | 247–258 |
Igor Walukiewicz: | |
Local Logics for Traces | 259–290 |