| |
| 1994 | ||
|---|---|---|
| 2 | Antonia Sinachopoulos: Logics and Decidability for Labelled Pre- and Partially Ordered Kripke Structures. Inf. Process. Lett. 51(1): 43-52 (1994) | |
| 1990 | ||
| 1 | Antonia Sinachopoulos: Partial Order Logics for Elementary Net Systems: State- and Event-approaches. CONCUR 1990: 442-455 | |