Title of article
Splitting bisimulations and retrospective conditions
Author/Authors
J.A. Bergstra، نويسنده , , C.A. Middelburg، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
56
From page
1083
To page
1138
Keywords
Splitting bisimulation , Retrospective conditions , State operators , Signal emission , Process algebra , Boolean algebras , Condition evaluation
Journal title
Information and Computation
Serial Year
2006
Journal title
Information and Computation
Record number
262359
Link To Document