Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
процесс
Связанные издания:
Petri Net Characteristic and Its Application in Control Processes
Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes
Petri nets levels of generalization of Petri nets
Phase synchroization
Pi-Calculus, Internal Mobility, and Agent-Passing Calculi
Pi-Congruences as CCS Equivalences
Plain CHOCS. A second generation calculus for higher order processes
Planing Support for Cooperating Transactions in EPOS
PM Case Studies: A Tentative Characterisation
POSES- An Interactive Tool for the Modelling and Simulation of Discrete Event-Oriented Processes
Poset Properties of Complex Traces
Practical Model-Checking Using Games
Predicative Specification of Timed Processes
Preemption Primitives in Reactive Languages
Prescribing behaviours
PRIME - Toward Process Integrated Modeling Environments
Priorities for Modeling and Verifying Distributed Systems
Priority and Abstraction in Process Algebra
Probabilistic and Prioritized Data Retrieval in the Linda Coodrination Model
Probabilistic Resource Failure in Real-Time Process Algebra
Probabilistic Simulations for Probabilistic Processes
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Proc./Joint Intern. Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 2001
Process Algebra and Probabilistic Methods - Performance Modeling and Verification: Proc./Second Joint Intern. Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 2002
Process Algebra for Synchronous Communication and Observation
Process-Algebraic Foundations of Aspect-Oriented Programming
Process Algebra in PVS
Process Algebras and the Rapid Simulation of Highly Concurrent Systems
Process Algebra: Specification and Verification in Bisimulation Semantics
Process Algebra versus Axiomatic Specification of a Real-Time Protocol
Process Algebra with Action Dependencies
Process Algebra with Asynchronous Communication Mechanisms
Process Algebra with a Zero Object
Process Algebra with Backtracking
Process Algebra with Combinators
Process Algebra with Partial Choice
Process Algebra with Probabilistic Choice
Process-Based Software Risk Assessment
Process Centred Approach for Developing Tool Support of Situated Methods
Process Control for Error-Free Software: A Software Success Story
Process Differentiation and Integration: The Key to Just-in-time in Product Development
Process Enactment and Cooridanion
Process Enactment in SPADE
Process Engine Interoperability: An Experiment
Processes and Hyperuniverses
Processes are in the Eye of the Beholder
Processes as Data Types
Processes as Data Types: Observational Semantics and Logic
Processes in Cause-Effect Structures
Processes of Place/Transition-Nets
Processes of Relation Nets
« первая
‹ предыдущая
…
13
14
15
16
17
18
19
20
21
…
следующая ›
последняя »