Sciweavers

9698 search results - page 14 / 1940
» models 2010
Sort
View
DPD
2010
105views more  DPD 2010»
14 years 9 months ago
Beyond soundness: on the verification of semantic business process models
Ingo Weber, Jörg Hoffmann, Jan Mendling
ENTCS
2010
89views more  ENTCS 2010»
14 years 9 months ago
Categorical Models for Simply Typed Resource Calculi
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzon...