Title of article
Regular sets of infinite message sequence charts
Author/Authors
Dietrich Kuske، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
30
From page
80
To page
109
Keywords
Mazurkiewicz traces , Message sequence charts , Distributed Automata , Monadic Second Order Logic
Journal title
Information and Computation
Serial Year
2003
Journal title
Information and Computation
Record number
262192
Link To Document