Sciweavers

896 search results - page 15 / 180
» Stepwise Refinement of Processes
Sort
View
LICS
1989
IEEE
14 years 15 days ago
Towards Action-Refinement in Process Algebras
Luca Aceto, Matthew Hennessy
JNSM
2007
65views more  JNSM 2007»
13 years 8 months ago
Implementation of a Formal Security Policy Refinement Process in WBEM Architecture
Romain Laborde, Michel Kamel, François Barr...
BPM
2010
Springer
179views Business» more  BPM 2010»
13 years 8 months ago
Value-Oriented Coordination Process Modeling
Business webs are collections of enterprises designed to jointly satisfy a consumer need. Designing business webs calls for modeling the collaboration of enterprises from different...
Hassan Fatemi, Marten van Sinderen, Roel Wieringa