Title of article
Pure future local temporal logics are expressively complete for Mazurkiewicz traces
Author/Authors
Volker Diekert، نويسنده , , Paul Gastin، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
23
From page
1597
To page
1619
Keywords
Mazurkiewicz traces , Temporal logics , Concurrency
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262374
Link To Document