Keywords: Behavioral equivalence; Hidden logic; Leibniz congruence
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
On the existence and decidability of unique decompositions of processes in the applied π-calculus
Keywords: Applied π-calculus; Unique decomposition; Normal form; Weak bisimilarity; Strong bisimilarity; Cancellation; Decidability; Equational theory; Word problem; Process calculus; Behavioral equivalence
On metrics for probabilistic systems: Definitions and algorithms
Keywords: Probabilistic systems; Simple probabilistic automata; Behavioral equivalence; Metric; Algorithm