@article{DBLP:journals/entcs/NicolaLLM09,
  author    = {Rocco {De Nicola} and
               Diego Latella and
               Michele Loreti and
               Mieke Massink},
  title     = {MarCaSPiS: a Markovian Extension of a Calculus for Services},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {229},
  number    = {4},
  pages     = {11--26},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.07.071},
  doi       = {10.1016/j.entcs.2009.07.071},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/NicolaLLM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"QT5Ne89yKiyvd4epu","bibbaseid":"denicola-latella-loreti-massink-marcaspisamarkovianextensionofacalculusforservices-2009","authorIDs":["xMtf3sJqpfDS3bpdB"],"author_short":["De Nicola, R.","Latella, D.","Loreti, M.","Massink, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rocco"],"propositions":[],"lastnames":["De Nicola"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Latella"],"suffixes":[]},{"firstnames":["Michele"],"propositions":[],"lastnames":["Loreti"],"suffixes":[]},{"firstnames":["Mieke"],"propositions":[],"lastnames":["Massink"],"suffixes":[]}],"title":"MarCaSPiS: a Markovian Extension of a Calculus for Services","journal":"Electron. Notes Theor. Comput. Sci.","volume":"229","number":"4","pages":"11–26","year":"2009","url":"https://doi.org/10.1016/j.entcs.2009.07.071","doi":"10.1016/j.entcs.2009.07.071","timestamp":"Mon, 24 Feb 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/entcs/NicolaLLM09.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/entcs/NicolaLLM09,\n author = {Rocco {De Nicola} and\n Diego Latella and\n Michele Loreti and\n Mieke Massink},\n title = {MarCaSPiS: a Markovian Extension of a Calculus for Services},\n journal = {Electron. Notes Theor. Comput. Sci.},\n volume = {229},\n number = {4},\n pages = {11--26},\n year = {2009},\n url = {https://doi.org/10.1016/j.entcs.2009.07.071},\n doi = {10.1016/j.entcs.2009.07.071},\n timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/entcs/NicolaLLM09.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["De Nicola, R.","Latella, D.","Loreti, M.","Massink, M."],"key":"DBLP:journals/entcs/NicolaLLM09","id":"DBLP:journals/entcs/NicolaLLM09","bibbaseid":"denicola-latella-loreti-massink-marcaspisamarkovianextensionofacalculusforservices-2009","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.entcs.2009.07.071"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-05-13T16:09:46.377Z","downloads":0,"keywords":[],"search_terms":["marcaspis","markovian","extension","calculus","services","de nicola","latella","loreti","massink"],"title":"MarCaSPiS: a Markovian Extension of a Calculus for Services","year":2009,"dataSources":["FxajFA698pihqBfpX"]}