Keywords: محاسبات فرایند; Internet of Things; Process calculus; Operational semantics; Behavioural semantics; Bisimulation;
مقالات ISI محاسبات فرایند (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: محاسبات فرایند; Unique parallel decomposition; Branching bisimilarity; Weak bisimilarity; Process calculus
Keywords: محاسبات فرایند; Fault-tolerant routing; Formal methods; Model checking; Network-on-chip; Process calculus
Keywords: محاسبات فرایند; Process calculus; Type system; Subtyping; Behavioural equivalence; Expressiveness;
Keywords: محاسبات فرایند; Process calculus; Bisimulation; Interaction; Computation
Keywords: محاسبات فرایند; Concurrency theory; Formal specification; Formal semantics; Process algebra; Process calculus; Sequential composition
Keywords: محاسبات فرایند; Availability; Denial-of-service; Process calculus; Robustness; SAT-solving;
Keywords: محاسبات فرایند; Wireless sensor network; Key management protocol; Security analysis; Process calculus
Keywords: محاسبات فرایند; Process calculus; Hierarchical graph; Graph transformation
Keywords: محاسبات فرایند; Process calculus; Weak ready simulation; Logic labelled transition system; Axiomatization; CLLRCLLR
Formal analysis of a calculus for WSNs from quality perspective
Keywords: محاسبات فرایند; Process calculus; Formal analysis; WSNs; Unreliability; Probabilistic trustworthiness;
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
A strand graph semantics for DNA-based computation
Keywords: محاسبات فرایند; Strand graph; Site graph; Process calculus; Programming language; DNA computing; Molecular programming; Biological computation;
On the greatest solution of equations in CLLRCLLR
Keywords: محاسبات فرایند; Formal methods; Logic labelled transition system; Process calculus; Specification; Solution of equations
Formal analysis of a hardware dynamic task dispatcher with CADP
Keywords: محاسبات فرایند; Co-simulation; Formal verification; LNT; MCL; Model checking; Process calculus; System on chip
Non-repudiation analysis using LySa with annotations
Keywords: محاسبات فرایند; Static analysis; Control flow analysis; Security; Process calculus
A Reflective Higher-order Calculus
Keywords: محاسبات فرایند; concurrency; message-passing; process calculus; reflection;