A timed component algebra for services

TitleA timed component algebra for services
Publication TypeBook Chapter
Year of Publication2013
AuthorsDelahaye, B\^ıt., J. Luiz Fiadeiro, A. Legay, and A. Lopes
Book TitleFormal Techniques for Distributed Systems
Pagination242–257
PublisherSpringer Berlin Heidelberg