946 search results - page 190 / 190 » Process Algebra and Non-Interference |
ICFEM
2010
Springer
13 years 3 months ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...