Title of article :
Splitting bisimulations and retrospective conditions
Author/Authors :
J.A. Bergstra، نويسنده , , C.A. Middelburg، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
Splitting bisimulation , Retrospective conditions , State operators , Signal emission , Process algebra , Boolean algebras , Condition evaluation
Journal title :
Information and Computation
Journal title :
Information and Computation
