Keywords: انواع جلسات; Session types; Multiparty session types; Value dependent types;
مقالات ISI انواع جلسات (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: انواع جلسات; Session types; Ï-Calculus; Linear types; Variant types; Encoding;
Keywords: انواع جلسات; Session types; The Ï-calculus; Dynamic monitoring; Runtime verification; Bisimulation;
Keywords: انواع جلسات; Contracts; Event structures; Compliance; Session types;
Keywords: انواع جلسات; Session types; Parameterized; Static; Actors; Concurrency;
Keywords: انواع جلسات; Communication centred programming; Session types; Global types;
Keywords: انواع جلسات; Reversible computing; The pi-calculus; Session types; Session-based programming;
Keywords: انواع جلسات; Contracts; Choreographies; Session types
Keywords: انواع جلسات; Types for structured communications; Session types; Process calculi; Runtime adaptation; Adaptable processes
Keywords: انواع جلسات; Communication-centred computing; Session types; Access control; Secure information flow
Keywords: انواع جلسات; Session types; Linear logic; Process calculi; Strong normalization; Confluence; Logical relations; Observational equivalences
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java
Keywords: انواع جلسات; Session types; Object-oriented programming; Typestate; Type inference;
On the boundary between decidability and undecidability of asynchronous session subtyping
Keywords: انواع جلسات; Session types; Asynchronous subtyping; Undecidability;
Undecidability of asynchronous session subtyping
Keywords: انواع جلسات; Session types; Subtyping; Undecidability; Queue machines;
Verifiable abstractions for contract-oriented systems
Keywords: انواع جلسات; Contract-oriented computing; Verification; Rewriting logic; Session types;
Session typing and asynchronous subtyping for the higher-order Ï-calculus
Keywords: انواع جلسات; Session types; The higher-order Ï-calculus; Asynchronous subtyping; Communication optimisation; Code mobility; Linear typing;