@article{CarpinetiLanevePadovani09,
  number = {10},
  volume = {74},
  issn = {0167-6423},
  author = {Samuele Carpineti and Cosimo Laneve and Luca Padovani},
  url = {http://www.di.unito.it/~padovani/Papers/piduce.pdf},
  abstract = { The PiDuce project comprises a programming language and a
              distributed runtime environment devised for experimenting Web
              services technologies by relying on solid theories about process
              calculi and formal languages for XML documents and schemas. The
              language features values and datatypes that extend XML documents
              and schemas with channels, an expressive type system with
              subtyping, a pattern matching mechanism for deconstructing XML
              values, and control constructs that are based on Milner's
              asynchronous pi calculus. PiDuce programs are compiled into
              typesafe object code. The runtime environment supports the
              execution of PiDuce object code over networks by relying on
              state-of-the-art technologies, such as XML schema and WSDL, thus
              enabling interoperability with existing Web services. We
              thoroughly describe the PiDuce project: the programming language
              and its semantics, the architecture of the distributed runtime and
              its implementation. A running prototype is available at
              \texttt{http://www.cs.unibo.it/PiDuce/}. },
  title = {{PiDuce - A Project for Experimenting Web Services Technologies}},
  publisher = {Elsevier},
  journal = {Science of Computer Programming},
  doi = {10.1016/j.scico.2009.03.002},
  pages = {777-811},
  year = {2009},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)