946 search results - page 190 / 190 » Process Algebra and Non-Interference |
133
Voted
ICFEM
2010
Springer
15 years 1 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...