Deriving Self-Stabilizing Protocols for Services Specified in LOTOS.

Monika Kapus-Kolar

Published in: Informatica (Slovenia) (2003)

Keyphrases

communication protocols
web services
message delivery
service providers
service composition
service oriented
end users
information services
transaction processing systems
context aware
information resources
ubiquitous computing
service discovery
multi party
location aware
service description