Title of article :
Hiding resources that can fail: An axiomatic perspective
Author/Authors :
Anna Philippou، نويسنده , , Oleg Sokolsky، نويسنده , , Insup Lee، نويسنده , , Rance Cleaveland، نويسنده , , Scott A. Smolka، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2001
Keywords :
Reactive systems , Probabilistic process algebra , Strong bisimulation , Sound and complete axiomatization , Resource failure
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
