|
|
Volumn 5, Issue , 1997, Pages 14-
|
|
Bisimilarity is decidable in the union of normed BPA and normed BPP processes
a a a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
COMPUTER SYSTEMS;
POLYNOMIALS;
POLYNOMIAL TIME;
TRANSITION SYSTEMS;
COMPUTER SIMULATION;
|
|
EID: 0009392243
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/S1571-0661(05)80675-9 Document Type: Conference Paper |
|
Times cited : (4)
|
|
References (0)
|