Keywords: منطق معادلات; Concurrency; Process algebra; Stateless bisimilarity; Linda; Equational logic;
مقالات ISI منطق معادلات (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: منطق معادلات; Lawvere Theories; Equational logic; Nominal sets; Fresh names; Permutation actions
Keywords: منطق معادلات; EQ-algebra; EQ-logic; Equational logic; Delta connective
SOS rule formats for idempotent terms and idempotent unary operators
Keywords: منطق معادلات; Structural operational semantics; Rule formats; Concurrency; Process algebra; Bisimilarity; Equational logic
Deciding the word problem in pure double Boolean algebras
Keywords: منطق معادلات; Formal contexts; Pure double Boolean algebras; Equational logic; Axiomatization and completeness; Decision and complexity
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
Keywords: منطق معادلات; Concurrency; Process algebra; Complete simulation; Ready simulation; Equational logic; Non-finitely based algebras
The axiomatization of override and update
Keywords: منطق معادلات; 08A02; 03C05; 03B35; 08-04Overriding; Function algebra; Equational logic; Completeness; SMT solvers; Automated deduction
CCS with Hennessy's merge has no finite-equational axiomatization
Keywords: منطق معادلات; 08A70; 03B45; 03C05; 68Q10; 68Q45; 68Q55; 68Q70; Concurrency; Process algebra; CCS; Bisimulation; Hennessy's merge; Left merge; Communication merge; Equational logic; Complete axiomatizations; Non-finitely based algebras;