Login / Signup
A LOTOS Specification of the PROWAY Highway Service.
Vincenza Carchiolo
Alberto Faro
Orazio Mirabella
Giuseppe Pappalardo
Giuseppe Scollo
Published in:
IEEE Trans. Computers (1986)
Keyphrases
</>
temporal ordering
protocol specification
service providers
management system
web services
service oriented
service quality
high level
service discovery
context aware
service composition
provably correct
customer service
customer satisfaction
formal specification
information systems
end to end
metadata