Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
процесс
Связанные издания:
On the Decidability of Non-Interleaving Process Equivalences
On the Decidability of Process Equivalences for the pi-calculus
On the Design of Side-stick Controllers in Fly-by-wire Aircraft
On the Evolution of Reactive Components - A Process-Algebraic Approach
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi
On the Expressive Power of CCS
On the Ill-Timed but Well-Caused
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes
On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. Part I: Proc./OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005. Agia Napa, Cyprus, October 2005
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA & IS: Part I: Proc./OTM Conferences. Vilamoura, Portugal, November
On the Move to Meaningful Internet Systems: OTM 2009, Part I: Proc./Confederated International Conferences CooplS, DOA, IS, and ODBASE 2009, Vilamoura, Portugal, November 2009
On the Proof Method for Bisimulation (extended abstract)
On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation
On the Refinement and Simulation of Data Types and Processes
On the Register Operator
On the Relation between Firing Sequences and Processes of Petri Nets
On the Relativistic Structure of Logical Time in Distributed Systems
On the Specification and Verification of Performance Properties for a Timed Process Algebra
On the Specification of Concurrent Systens: Diss... for the degree of doctor of philosophy
On the Uniqueness of Fixpoints Modulo Observation Congruence
OO Process and Metrics for Effort Estimation
Operational and Algebraic Semantics of Concurrent Processes
Operational Semantics for the Petri Box Calculus
Operators, Stochastic Processes, and Lie Groups
OPSIS: A View Mechanism for Software Processes which Supports their Evolution and Reuse
Optimization of Concurrent Process Program Specification
Ordered and Reliable Multicast Communication
Organisational Learning and Software Process Improvement: A Case Study
Overcoming Inadequacies in Process Modeling: The Need for Decisioning Be a First-Class Citizen
Overhead Analysis of Preemptive Gang Scheduling
Paradigms for Process Interaction in Distributed Programs
Parallel Composition of Assumption-Commitment Specifications. A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency
Parallel Computing Technologies (PaCT-93): Proc./Intern. Conf., Obninsk, Russia, 1993
Parallel Computing Technologies (PaCT-93): Proc./Intern.Conf., Obninsk, Russia, 1993
Parallel Computing Technologies: Proc./Intern. Conf. PaCT-93. Obninsk, Russia, August 30 - September 2, 1993
Parallel Logic Programming Systems on Multicomputers
Parallel Programming in 2001
Parallel Programming with Interacting Processes
PARS: A Process Algebra with Resources and Schedulers
Partial Words Versus Processes: A Short Comparison
PCLAgenda: A Process-centered Support Environment for Component Software
PEACE: Describing and Managing Evolving Knowledge in the Software Process
PEPA Nets: A Structured Performance Modeling Formalism
Performance Analysis of a Multiprocessor System Model with Process Communication
Performance Analysis of "Time Warp" with Limited Memory
Performance Evaluation of Cyclic Processes in Parallel Computers
Performance Evaluation of Parallel Transaction Processing in Shared Nothing Database Systems
Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains
Performance Preorder and Competitive Equivalence
Performance Preorder: Ordering Processes with Respect to Speed
« первая
‹ предыдущая
…
12
13
14
15
16
17
18
19
20
…
следующая ›
последняя »