A Type System for Client Progress in a Service-Oriented Calculus

Lucia Acciai, Michele Boreale. A Type System for Client Progress in a Service-Oriented Calculus. In Pierpaolo Degano, Rocco De Nicola, José Meseguer, editors, Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Volume 5065 of Lecture Notes in Computer Science, pages 642-658, Springer, 2008. [doi]

@inproceedings{AcciaiB08,
  title = {A Type System for Client Progress in a Service-Oriented Calculus},
  author = {Lucia Acciai and Michele Boreale},
  year = {2008},
  doi = {10.1007/978-3-540-68679-8_40},
  url = {http://dx.doi.org/10.1007/978-3-540-68679-8_40},
  tags = {type system},
  researchr = {https://researchr.org/publication/AcciaiB08},
  cites = {0},
  citedby = {0},
  pages = {642-658},
  booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday},
  editor = {Pierpaolo Degano and Rocco De Nicola and José Meseguer},
  volume = {5065},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-68676-7},
}