Keywords: بی اختیاری; Fuzzy relational structure; Bisimulation; Approximation method; Rough set; Fuzzy set; Complete residuated lattice;
مقالات ISI بی اختیاری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: بی اختیاری; Bisimulation; Fuzzy transition system; Modal logic; Logical characterization;
Keywords: بی اختیاری; Rough set; Fuzzy set; Labeled fuzzy approximation space; Bisimulation; Bisimilarity; Simulation;
Keywords: بی اختیاری; Bisimulation; Fuzzy transition system; Modal logic; Logical characterization; Logical metric;
Keywords: بی اختیاری; Pushdown automata; Semantic equivalences; Bisimulation;
Keywords: بی اختیاری; Coalgebra; Hybrid automata; Bisimulation; Regular expression;
Keywords: بی اختیاری; Internet of Things; Process calculus; Operational semantics; Behavioural semantics; Bisimulation;
Keywords: بی اختیاری; Non-isolated transactions; Communicating transactions; Hennessy-Milner logic; Bisimulation;
Keywords: بی اختیاری; Modal logic; Awareness; Bisimulation; Expressivity; Multi-agent systems;
Keywords: بی اختیاری; Rough set; Generalized approximation space; Bisimulation; Bisimilarity; Labeled transition system;
Keywords: بی اختیاری; Session types; The Ï-calculus; Dynamic monitoring; Runtime verification; Bisimulation;
Keywords: بی اختیاری; 03C40; 03C50; 03B20; 03B45; Model theory; Intensional logic; Propositional logic; Asimulation; Bisimulation; Van Benthem's theorem;
Keywords: بی اختیاری; Bisimulation; Completeness; Fuzzy labeled transition system; Logical characterization; Simulation; Soundness;
Keywords: بی اختیاری; Coalgebra; Relation lifting; Bisimulation; Coalgebraic logic;
Keywords: بی اختیاری; Trees; Relation algebra; XML; XPath; Bisimulation; Instance expressivity
Keywords: بی اختیاری; Timed process calculi; Deterministic time; Stochastic time; Bisimulation; Expressiveness
Keywords: بی اختیاری; Process calculus; Bisimulation; Interaction; Computation
Keywords: بی اختیاری; Concurrent constraint programming; Bisimulation; Partition refinement; Observational equivalence
Keywords: بی اختیاری; Bisimulation; Transition system; Temporal logic; CTLâ; Model checking; Slicing; Behavior Trees;
Keywords: بی اختیاری; Context-free languages; Formal grammars; Bisimulation; Automatic sequence; Automata theory; Universal coalgebra
Keywords: بی اختیاری; Description logics; Bisimulation; Minimization; Expressiveness; Concept learning
Keywords: بی اختیاری; Supervisory control; Bisimulation; Discrete event systems;
Keywords: بی اختیاری; Weighted automaton; Additively idempotent semiring; Boolean matrix; Simulation; Bisimulation; Factor weighted automaton
Keywords: بی اختیاری; Coalgebra; Bisimulation; Sequential composition; Dedekind categories
Keywords: بی اختیاری; Bisimulation; Formal concept analysis; Pareto front; Rectangles; Separation logic; Software product lines
Keywords: بی اختیاری; Operational semantics; Bisimulation; Linked Data;
Keywords: بی اختیاری; Weighted social network; Many-valued modal logic; Regular equivalence; Bisimulation; Reasoning under uncertainty or imprecision
Keywords: بی اختیاری; Fuzzy automata; Fuzzy relation inequalities; Simulation; Bisimulation; State reduction; Equivalence of automata; Weak bisimulations; Uniform fuzzy relations; Fuzzy equivalence relations; Complete residuated lattices
Keywords: بی اختیاری; Nondeterministic automaton; Equivalence of automata; State reduction; Factor automaton; Uniform relation; Bisimulation
Keywords: بی اختیاری; Language equality; Bisimulation; Coinduction; Bisimulation-up-to; Deterministic automata; Simulation
Keywords: بی اختیاری; SOS; Probabilistic transition systems; Bisimulation; Congruence; Rule format; Full abstraction
Interleaving isotactics - An equivalence notion on behaviour abstractions
Keywords: بی اختیاری; Behavioural equivalence; Bisimulation; Process semantics; Behavioural abstraction; Model matching;
The Approximate Correctness of Systems Based on δ-bisimulation
Keywords: بی اختیاری; limit; correctness; bisimulation; complete lattice; fuzzy system;
Bisimilar and logically equivalent programs in PDL with parallel operator
Keywords: بی اختیاری; Bisimulation; Propositional dynamic logic; Modal logic; EXPTIME-completeness; Parallel Composition;
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
Keywords: بی اختیاری; Model theory; Modal logic; Intuitionistic logic; Propositional logic; Bisimulation; Van Benthem's theorem;
Rough set analysis of relational structures
Keywords: بی اختیاری; Rough sets; Relational structures; Knowledge reduction; Congruence; Bisimulation; Exact equivalence;
On the semantics of Markov automata
Keywords: بی اختیاری; Markov automata; Bisimulation; Soundness; Completeness
Repairing time-determinism in the process algebra for hybrid systems ACPhssrt
Keywords: بی اختیاری; Process algebra; Hybrid systems; Time-determinism; Flow-determinism; Inconsistency; Bisimulation
First-order reasoning for higher-order concurrency
Keywords: بی اختیاری; Higher-order concurrency; Bisimulation; Hennessy–Milner logic
Bisimulations for fuzzy automata
Keywords: بی اختیاری; Fuzzy automata; Fuzzy relations; Uniform fuzzy relations; Fuzzy equivalence relations; Fuzzy relation inequalities; Simulation; Bisimulation; State reduction; Equivalence of automata; Complete residuated lattices
A pure labeled transition semantics for the applied pi calculus
Keywords: بی اختیاری; Labeled transition system; Bisimulation; Applied pi calculus; Zero-knowledge proof; Anonymity;
Approximate equivalence and synchronization of metric transition systems
Keywords: بی اختیاری; Metric transition systems; Approximate equivalence; Bisimulation; Approximate synchronization
Controller synthesis for bisimulation equivalence
Keywords: بی اختیاری; Bisimulation; Controller synthesis; Category theory
Approximate bisimulation relations for constrained linear systems
Keywords: بی اختیاری; Abstractions; Approximation; Bisimulation; Lyapunov techniques; Safety
Design of user-interface without automation surprises for discrete event systems
Keywords: بی اختیاری; Human-machine systems; Bisimulation; Automation surprises; Discrete event systems
Using equivalence-checking to verify robustness to denial of service
Keywords: بی اختیاری; Equivalence-checking; Denial of service; Protocols; Process algebra; Admissible interference; Bisimulation
Characteristic μ-Calculus Formulas for Underspecified Transition Systems
Keywords: بی اختیاری; underspecification; transition systems; bisimulation; simulation; μ-calculus;
Distributed On-the-Fly Equivalence Checking
Keywords: بی اختیاری; Bisimulation; boolean equation systems; labelled transition systems; distributed equivalence checking;
Truly Concurrent Logic via In-Between Specification
Keywords: بی اختیاری; specification; true concurrency; μ-calculus; bisimulation; action splitting;
Compositional Properties of Sequential Processes
Keywords: بی اختیاری; chop operator; modal logic; compositionality; verification; bisimulation; characteristic formula; process algebra;