Keywords: Session types; Ï-Calculus; Linear types; Variant types; Encoding;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: Term-generic logic; Substitution; λ-Calculus; Ï-Calculus; Semantics;
On the validity of encodings of the synchronous in the asynchronous Ï-calculus
Keywords: Concurrency; Process calculi; Expressiveness; Quality criteria for encodings; Ï-calculus;
A Modal Logic for Ï-Calculus and Model Checking Algorithm
Keywords: Ï-calculus; Symbolic Transition Graph; Ï-μ-logic; Model Checking Algorithm;
From Active Names to Ï-calculus Rewriting Rules
Keywords: mobile agents; Ï-calculus; formal verification; rewriting systems;
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources
Keywords: Ï-calculus; Name-passing encoding; Process-passing; Nested locations; Continuation-passing; Explicit Substitutions;
Typechecking Safe Process Synchronization
Keywords: Concurrency; Ï-calculus; type systems; typechecking;
A Proof Search Specification of the Ï-Calculus
Keywords: Ï-calculus; names; meta-logic; proof search; bisimulation;
Analysing input/output-capabilities of mobile processes with a generic type system
Keywords: Ï-calculus; Type systems; Lattice-ordered monoids;
Name-passing style GUI programming in the Ï-calculus-based language Nepi
Keywords: Network programming languages; graphic user interface; Ï-calculus; timed model;
Modelling dynamic web data
Keywords: Dynamic web data; Process orchestration; Ï-calculus; XML; Web services; Semi-structured data;
Secrecy and group creation
Keywords: Ï-Calculus; Secrecy; Security types;
An “abstract process” approach to algebraic dynamic architecture description
Keywords: Architecture description language; Process algebra; Dynamic software architecture; Abstract process; Reflection; Ï-Calculus;
Structured coalgebras and minimal HD-automata for the Ï-calculus
Keywords: Concurrency and distributed computation; Ï-calculus; Categorical models and logics; Coinductive techniques; Automata theory;
Observational congruences for dynamically reconfigurable tile systems
Keywords: Bisimulation; SOS formats; Dynamic bisimulation; Tile logic; Ï-Calculus;
Abstract interpretation of mobile systems
Keywords: Mobility; Ï-calculus; Static analysis; Abstract interpretation; Control flow analysis; Occurrence counting analysis; Worst case analysis;