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