Title of article :
The compression structure of a process
Author/Authors :
Thuy Duong Vu، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2005
Pages :
5
From page :
225
To page :
229
Keywords :
Branching bisimulation , Branching structure , Silent step , Labeledtransition system , Process algebra , Orthogonal bisimulation , Compression structure
Journal title :
Information Processing Letters
Serial Year :
2005
Journal title :
Information Processing Letters
Record number :
130172
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=130172