Keywords: جبرهای فرآیند; Multiway rendezvous; Compilation; Process algebras; Distributed systems;
مقالات ISI جبرهای فرآیند (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: جبرهای فرآیند; Coordination models and languages; Pervasive computing; Service ecosystems; Process algebras; Self-organisation
Static Analysis of IMC
Keywords: جبرهای فرآیند; Process algebras; Data Flow Analysis; Pathway Analysis; IMC;
A semantics for Behavior Trees using CSP with specification commands
Keywords: جبرهای فرآیند; Structural operational semantics; Communicating Sequential Processes (CSP); Hierarchical state; Specification commands; Process algebras; Behavior Trees; Requirements modelling
Software composition with Linda
Keywords: جبرهای فرآیند; Coordination languages; Components; Software architecture; Compatibility; Interaction; Process algebras
A bulk-synchronous parallel process algebra
Keywords: جبرهای فرآیند; Performance model; BSP model; Parallel programming; Process algebras; Path algebras
Fairness of Components in System Computations
Keywords: جبرهای فرآیند; Process Algebras; Timed Process Algegras; Worst-Case Efficiency; Fairness of Actions; Fairness of Components; Liveness properties;
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language
Keywords: جبرهای فرآیند; Security protocols; verification; specification languages; process algebras;
A Quantitative Study of Two Attacks
Keywords: جبرهای فرآیند; Formal methods; performance evaluation; process algebras; security protocols;
A framework for specifying and verifying the behaviour of open systems
Keywords: جبرهای فرآیند; Open systems; Process algebras; Verification;
Formal specification of multi-agent e-barter systems
Keywords: جبرهای فرآیند; e-barter; Formal methods; Process algebras; Pareto optimum;