Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets.

Dietrich Kuske, Rmi Morin

Browse the full CONCUR paper archive.