Keywords: جبر فرآیند; Business process modelling; Model transformations; Process algebra; Model-driven architecture
مقالات ISI ترجمه شده جبر فرآیند
مقالات ISI جبر فرآیند (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: جبر فرآیند; Formal semantics; Hybrid systems; Process algebra; Unifying theories; Theorem proving;
Keywords: جبر فرآیند; Computer security; Formal methods; Process algebra; Security policy; Policy enforcement; Ambient calculus; Modal logic;
Keywords: جبر فرآیند; ACSR; Process algebra; Real-time embedded systems; Hierarchical Scheduling;
Keywords: جبر فرآیند; Supervisory control theory; Controllability; Partial bisimulation; Partial observability; Process algebra;
Keywords: جبر فرآیند; Markov automata; Confluence; State space reduction; Process algebra; Divergence-sensitive branching bisimulation; Partial order reduction;
Keywords: جبر فرآیند; Process algebra; Coordination; mCRL2; Reo;
Keywords: جبر فرآیند; Neural networks; Process algebra; Hybrid systems
Keywords: جبر فرآیند; Concurrency; Process algebra; Stateless bisimilarity; Linda; Equational logic;
Keywords: جبر فرآیند; Computational biology; Probabilistic simulation; Process algebra;
Keywords: جبر فرآیند; Concurrency theory; Formal specification; Formal semantics; Process algebra; Process calculus; Sequential composition
Keywords: جبر فرآیند; Process algebra; CSP; Circus; Synchronisation coverage; Integration testing
Keywords: جبر فرآیند; Finite automata; Process algebra; Model checking; Nonblocking;
Keywords: جبر فرآیند; Process algebra; Non-interference; Model-checking; Web services
Keywords: جبر فرآیند; Ordinary differential equations; State-space explosion; Aggregation; Process algebra;
Compositional and local livelock analysis for CSP
Keywords: جبر فرآیند; Process algebra; Divergence; Model checking; Components; Performance evaluation;
Reduction semantics in Markovian process algebra
Keywords: جبر فرآیند; Process algebra; Structural operational semantics; Markov chains;
Causal-consistent rollback in a tuple-based language
Keywords: جبر فرآیند; Reversible computation; Process algebra; Tuple space; Klaim;
Formal specification and verification of TCP extended with the Window Scale Option
Keywords: جبر فرآیند; μCRL; Process algebra; Transmission control protocol; Window scale option; Sliding window protocol
A calculus and logic of bunched resources and processes
Keywords: جبر فرآیند; Modal logic; Process algebra; Bunched logic; Resource semantics;
Reversibility in the higher-order π-calculus
Keywords: جبر فرآیند; Reversible computation; Process algebra; π-Calculus
SOS rule formats for idempotent terms and idempotent unary operators
Keywords: جبر فرآیند; Structural operational semantics; Rule formats; Concurrency; Process algebra; Bisimilarity; Equational logic
Hybrid semantics for Bio-PEPA
Keywords: جبر فرآیند; Process algebra; Biological modelling; Events; Hybrid; Stochastic; Deterministic; Continuous; Discrete; Instantaneous; Simulation;
Behavioural equivalences and interference metrics for mobile ad-hoc networks
Keywords: جبر فرآیند; MANETs; Process algebra; Interference; Quantitative analysis
Using model checking to analyze the system behavior of the LHC production grid
Keywords: جبر فرآیند; Model checking; Process algebra; Grid; LHC; Distributed system; Workflow
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider
Keywords: جبر فرآیند; Case study; Process algebra; SML; Bounded model checking; Model transformations
Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols
Keywords: جبر فرآیند; Functional verification; Interactive Markov Chain; Lotos NT; μμ-calculus; Process algebra; Steady-state simulation
Modeling mobile stateful channels in ππZ
Keywords: جبر فرآیند; Mobility; Process algebra; Z language; Abstract type; Bisimilarity; Stateful channel
A coinductive calculus for asynchronous side-effecting processes
Keywords: جبر فرآیند; Corecursive scheme; Computational monad; Process algebra; Coinduction; Computational meta-language
Multiset rewriting for the verification of depth-bounded processes with name binding
Keywords: جبر فرآیند; Multiset rewriting; Depth-boundedness; WSTS; Verification; Decidability; Petri nets; Process algebra
SAT-solving in CSP trace refinement
Keywords: جبر فرآیند; CSP; FDR; Concurrency; Process algebra; SAT-solving; Bounded model checking; kk-induction; Safety properties
Repairing time-determinism in the process algebra for hybrid systems ACPhssrt
Keywords: جبر فرآیند; Process algebra; Hybrid systems; Time-determinism; Flow-determinism; Inconsistency; Bisimulation
Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet
Keywords: جبر فرآیند; Concurrency; Process algebra; Complete simulation; Ready simulation; Equational logic; Non-finitely based algebras
Process algebra-based computational tools in ecological modelling
Keywords: جبر فرآیند; Process algebra; BlenX; Complexity; Stochastic dynamics; Concurrency
A process algebra based simulation model of a miniload-workstation order picking system
Keywords: جبر فرآیند; Automated storage/retrieval systems; Miniload; Discrete-event simulation; Process algebra; Modular architecture
Component-oriented verification of noninterference
Keywords: جبر فرآیند; Component-based software systems; Noninterference analysis; Architectural description languages; Process algebra; Equivalence checking
Timed Mobility in process algebra and Petri nets
Keywords: جبر فرآیند; Mobility; Local clocks; Process algebra; High level Petri nets; Syntax driven translation; Behavioural equivalence
Formal enforcement of security policies on concurrent systems
Keywords: جبر فرآیند; Execution monitoring; Security policies; Language based security; Concurrent systems; Process algebra;
Hybrid reliable load balancing with MOSIX as middleware and its formal verification using process algebra
Keywords: جبر فرآیند; Load balancing; Process migration; Cluster computing; Multilevel feedback queue scheduling; Auto-configuration; Process algebra
Automated verification of security pattern compositions
Keywords: جبر فرآیند; Design pattern; Security; Logics; Process algebra; Model checking
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Keywords: جبر فرآیند; Software architecture; Architectural description languages; Process algebra; Synchronous and nonsynchronous communications; System modeling and verification; Code generation
An action refinement operator for E-LOTOS with true concurrency
Keywords: جبر فرآیند; Process algebra; Action refinement; True concurrency; E-LOTOS;
Specification of a batch plant using process algebra and petri nets
Keywords: جبر فرآیند; Discrete event systems; Petri nets; Process algebra; Specification
Formal interaction specification in public health surveillance systems using ππ-calculus
Keywords: جبر فرآیند; Formal specification; Verification; Process algebra; ππ-calculus; Public health surveillance systems; Mobility
A formalism for visual security protocol modeling
Keywords: جبر فرآیند; Model driven architecture; Live sequence chart; Statechart; Petri net; Process algebra; Security protocol; Hypergraph grammar
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS
Keywords: جبر فرآیند; Event structures; Process algebra; E-LOTOS; Formal semantics; True concurrency
Toward a new software development environment
Keywords: جبر فرآیند; Lyee methodology; Lyee-Calculus; Process algebra; Java; JCSP
A formal approach to the integrated analysis of security and QoS
Keywords: جبر فرآیند; QoS; Security; Noninterference; Formal methods; Process algebra; Tools; Case studies;
Behavioural equivalence in simulation modelling
Keywords: جبر فرآیند; Model equivalence; Process view; Process algebra; Graphical interface
MODELING AN IMPACT CONTROL STRATEGY USING HYPA
Keywords: جبر فرآیند; hybrid systems; process algebra; bondgraph theory; impact control