Paper

Type

INPROCEEDINGS  

Title

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi  

Authors

Marco Bernardo, Rocco De Nicola, Michele Loreti 

Editors

Luca Aceto, Mohammad Reza Mousavi  

Book

PACO  

Pages

66-75  

Volume

60  

Year

2011  

Bibtex key

DBLP:journals/corr/abs-1108-1865  

Bibtex

@inproceedings{DBLP:journals/corr/abs-1108-1865,
  author    = {Marco Bernardo and
               Rocco De Nicola and
               Michele Loreti},
  title     = {Uniform Labeled Transition Systems for Nondeterministic,
               Probabilistic, and Stochastic Process Calculi},
  booktitle = {PACO},
  year      = {2011},
  pages     = {66-75},
  ee        = {http://dx.doi.org/10.4204/EPTCS.60.5},
  crossref  = {DBLP:journals/corr/abs-1108-1452},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:journals/corr/abs-1108-1452,
  editor    = {Luca Aceto and
               Mohammad Reza Mousavi},
  title     = {Proceedings First International Workshop on Process Algebra
               and Coordination},
  booktitle = {PACO},
  series    = {EPTCS},
  volume    = {60},
  year      = {2011},
  ee        = {http://dx.doi.org/10.4204/EPTCS.60},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

 

Created

2012-04-04 09:40:39  

Modified

2012-04-04 09:40:39