Вы здесь

Главная

процесс

Связанные издания:

The Update Calculus
The Use of Roles and Measurement to Enact Project Plans in MVP-S
The Whole Picture to Software Process Improvement
The XYZ Abstraction Levels of Poker-Like Languages
Third Workshop on Concurrency and Compositionality : Extended Abstracts, Goslar, Germany, March 1991
Time and Probability in Process Algebra
Timed Network Semantics for Communicating Processes
Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator
Timed Processes of Timed Petri Nets
Timely Authentication in Distributed Systems
Timewise Refinement for Communicating Processes
Timing and Causality in Process Algebra
Timing Verification by Successive Approximation
Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models
Tool Integration in Evolving Information Systems Environments
Tools for Multiple-CPU Environments
Tool-Supported Process Analysis and Design for the Development of Multi-agent Systems
Toward an Integrated Framework for Modeling Enterprise Processes
Towards a Concurrent Object/Process Oriented Functional Language
Towards Action Refinement for True Concurrent Real Time
Towards a Framework for Comparing Process Modeling Languages
Towards a Library for Process Programming
Towards a Living Software Development Process Based on Process Patterns
Towards an Algebraic Theory of Typed Mobile Processes
Towards a Reference Framework for Process Concepts
Towards a Rigorous Approach for Managing Process Evolution
Towards a Theory of Domain Knowledge for Reuse
Towards a Theory of Work Flow Systems - a Torso
Towards Flexible Process Support with a CASE Shell
Towards Measurable Process Models
Towards Performance Evaluation with General Distributions in Process Algebras
Towards Requirements for Enactment Mechanisms
Towards Systematic Knowledge Elicitation for Descriptive Software Process Modeling
Towards Tools to Support the Gries/Dijkstra Design Process
Trace-Based Network Proof Systems: Expressiveness and Completeness
Trace nets and process automata
Traces, Histories, Graphs: Instances of a Process Monoid
Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes
Transaction Technology for Process Modelling
Transcribing Process Model Standards into Meta-Processes
Transformations for Optimizing Interprocess Communication and Synchronization Mechanisms
Transforming Examples into Cases
Transient Analysis of Deterministic and Stochastic Petri Nets
Transition Management of Software Process Improvement
Translating Imperative Affine Nested Loop Programs into Process Networks
Translations between Flowchart Schemes and Process Graphs
Travelling Processes
TTM15 - A Large Multi-site Improvement Project
Turing Award Lecture: Elements of Interaction
Types for Dyadic Interaction