Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
Bisimulation through probabilistic testing
Information and Computation
Journal of the ACM (JACM)
Impossible futures and determinism
Information Processing Letters
Communication and Concurrency
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
On the axiomatisability of priority
Mathematical Structures in Computer Science
On finite alphabets and infinite bases
Information and Computation
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence
LICS '08 Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science
The equational theory of prebisimilarity over basic CCS with divergence
Information Processing Letters
A finite equational base for CCS with left merge and communication merge
ACM Transactions on Computational Logic (TOCL)
On the Unification of Process Semantics: Equational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Finite equational bases in process algebra: results and open questions
Processes, Terms and Cycles
Axiomatizing weak ready simulation semantics over BCCSP
ICTAC'11 Proceedings of the 8th international conference on Theoretical aspects of computing
Hi-index | 0.89 |
This note shows that the complete and the ready simulation preorders do not have a finite inequational basis over the language BCCSP when the set of actions is a singleton. Moreover, the equivalences induced by those preorders do not have a finite (in)equational axiomatization either. These results are in contrast with a claim of finite axiomatizability for those semantics in the literature, which was based on the erroneous assumption that they coincide with complete trace semantics in the presence of a singleton set of actions.