Вы здесь

Главная

процесс

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

Characterizing Timed Net Processes Categorically
Choice Coordination with Multiple Alternatives
Chu Spaces and Their Interpretation as Concurrent Objects
Closed Interval Process Algebra versus Interval Process Algebra
Cognitive Computing - ICCC 2018: Proc./2nd International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle,WA,USA, June 2018
Collaboration and Composition: Issues for a Second Generation Process Language
Column-Associative Caches: A Technique for Reducing the Miss Rate of Direct-Mapped Caches
Combining Communicating Sequential Processes and Temporal Logic
Combining Petri Nets and PA-Processes
Combining Process Models and Metrics in Practice
Combining Specification Techniques for Processes, Data and Time
Communication Abstraction and Refinement
Communication as Unification in Process Algebras: Operational Semantics
Communication as Unification in Process Algebras: Operational Semantics
Communication Deadlock Detection of Inter-organizational Workflow Definition
Communication for Alternating Machines
Communication Pattern Based Performance Prediction on the nCUBE 2 Multiprocessor System
Comparative Metrics in Procedure-Oriented and Object-Oriented Software Implementation of a Simple Single-Input-Single-Output Digital Process Control Problem in Educational Environment
Comparative Semantics for Linear Arrays of Communicating Processes
Comparing Expressibility of Normed BPA and Normed BPP Processes
Comparing Locality and Causality Based Equivalences
Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS
Comparison of Process Algebra Equivalences Using Formats
Compas: A Development-Process Support System
Competing in Large-Scale Software Development
Compilation for Instruction Parallel Processors
Compiling a Producer-Consumer LEQ System in a Network of Communicating Processes
Components of Software Development Risk: How to Address Them? A Project Manager Survey
Composing Event Constraints in State-Based Specification
Compositionality in State Space Verification Methods
Compositional Modeling and Verification of Workflow Processes
Compositional Performance Analysis
Compositional Proof Systems for Model Checking Infinite State Processes
Compositional refinements in multiple blackboard systems
Compositional State Space Generation
Compositional Verification of CCS Processes
Compositional Verification of Probabilistic
Composition, Decomposition and Model Checking of Pushdown Processes
Comprehending Object and Process Models: An Empirical Study
Computer-Aided Verification of Software Process Model Properties
Computing Per-Process Summary Side-Effect Information
Concatenable Graph Processes: Relating Processes and Derivation Traces
Conceptual Modeling - ER 2005: Proc./24th International Conference on Conceptual Modeling. Klagenfurt, Austria, October 2005
Conceptual Modeling for Collaborative E-business Processes
Conceptual Modeling of Automatic Software Reuse in Integrated CASE
CONCUR 2001 - Concurrency Theory: Proc./12th Intern. Conf., Aalborg, Denmark, August 2001
CONCUR 2003 - Concurrency Theory: Proc./14th Intern. Conf., Marseille, France, September 2003
CONCUR 2006 - Concurrency Theory: Proc./17th International Conference, CONCUR 2006. Bonn, Germany, August 2006
CONCUR 2011 - Concurrency Theory: Proc./22nd International Conference, CONCUR 2011, Aachen,Germany, September 2011
CONCUR 93: Proc./ 4th Intern. Conf. on Concurrency Theory. Hildesheim, Germany, August 1993