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