Title of article
Verification of programs with half-duplex communication
Author/Authors
Gerard Cece، نويسنده , , Alain Finkel، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
25
From page
166
To page
190
Keywords
Channel-recognizablereachability sets , Symbolic verification , Decidability , PLTL model-checking , CTL model-checking , Communicating finite state machines , Half-duplex communication , Regular model checking
Journal title
Information and Computation
Serial Year
2005
Journal title
Information and Computation
Record number
262314
Link To Document