A Rigorous Model of Service Component Architecture
Under a Creative Commons license
open access
Keywords
Service Component Architecture
Formal Semantics
Service Composition
Petri nets
Verification
Cited by (0)
Copyright © 2008 Published by Elsevier B.V.