Вы здесь

Главная

поток управления

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

A Pointcut Language for Control-Flow
Distributed Control Flow with Classical Modal Logic
IP Operations and Management: Proc./9th IEEE International Workshop, IPOM 2009, Venice, Italy, October 2009
Petri Net Semantics of the Finite pi-Calculus
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
Relational Methods in Computer Science: Selected Revised Papers/8th Intl Seminar RMCS; 3rd Intl WS AKA & WS of COST Action 274: TARSKI. St.Catharines, ON, Canada, Feb 2005
Static Data Analysis of Gated Data Dependence Graphs
The Green Language Exception System
Tools and Algorithms for the Construction and Analysis of Systems: Proc./12th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March/April 2006
Verification, Model Checking, and Abstract Interpretation: Proc./7th International Conference, VMCAI 2006. Charleston, SC, USA, January 2006
YAWL: yet another workflow language
Построение алгоритмов спекулятивных оптимизаций
Универсальная сеть Петри