Title of article :
Pure future local temporal logics are expressively complete for Mazurkiewicz traces
Author/Authors :
Volker Diekert، نويسنده , , Paul Gastin، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
Mazurkiewicz traces , Temporal logics , Concurrency
Journal title :
Information and Computation
Journal title :
Information and Computation
