Sciweavers

2171 search results - page 21 / 435
» A Generic Process Algebra
Sort
View
TACAS
2007
Springer
67views Algorithms» more  TACAS 2007»
14 years 2 months ago
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes
Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu
BPM
2003
Springer
106views Business» more  BPM 2003»
14 years 1 months ago
Generic Recurrent Patterns in Business Processes
Jan L. G. Dietz
IWSM
2000
Springer
14 years 2 days ago
A Generic Model for Assessing Process Quality
Manoranjan Satpathy, Rachel Harrison, Colin F. Sno...
CMSB
2010
Springer
13 years 3 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...