Вы здесь

Главная

csp

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

A Formal Definition of Priority in CSP
An Integrated of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows
Combining Specification Techniques for Processes, Data and Time
CSP-Programs as Nets with Individual Tokens
Final Universes of Processes
Linking CSP-OZ with UML and Java: A Case Study
Mazurkiewicz Traces Semantics for Communicating Sequential Processes
Principles and Practice of Constraint Programming - CP 2011: Proc./17th International Conference, CP 2011, Perugia, Italy, September 2011
Refinement in Object-Z and CSP
Solving CSPs with Predominating Constraints of the "not Equal" Type
The Design of a Tool-Supported Graphical Notation for Timed CSP
Working Material for the Lectures of K.R. Apt: International Summer School "Control Flow and Data Flow", Munich, Germany, August, 1984
XII. Spectrum
Иерархические суждения в вероятностной CSP