| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 421874 | Electronic Notes in Theoretical Computer Science | 2010 | 16 Pages |
Abstract
The present paper is interested in the following decision problems: (1) given finite frames F, F′, determine if there exists a frame F″ such that F and F′⊗F″, the synchronous product of F′ and F″, are bisimilar; (2) given finite frames F, F′, determine if there exists a frame F″ such that F and F′⊕F″, the asynchronous product of F′ and F″, are bisimilar. It shows that variants of the filtration method are adequate for solving them.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
