{"_id":"SRsbH6Sy7cSQaAfGu","bibbaseid":"ruiz-cazorla-cuartero-pardo-specificationandperformanceevaluationofflexiblemanufacturingsystemsusingaboundedtrueconcurrentprocessalgebra-2006","downloads":0,"creationDate":"2017-11-08T09:52:20.012Z","title":"Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra","author_short":["Ruiz, M. C.","Cazorla, D.","Cuartero, F.","Pardo, J. J."],"year":2006,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/c/Cuartero:Fernando","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["M.","Carmen"],"propositions":[],"lastnames":["Ruiz"],"suffixes":[]},{"firstnames":["Diego"],"propositions":[],"lastnames":["Cazorla"],"suffixes":[]},{"firstnames":["Fernando"],"propositions":[],"lastnames":["Cuartero"],"suffixes":[]},{"firstnames":["Juan","José"],"propositions":[],"lastnames":["Pardo"],"suffixes":[]}],"title":"Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra","booktitle":"2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Australia","pages":"46","year":"2006","crossref":"DBLP:conf/cimca/2006","url":"https://doi.org/10.1109/CIMCA.2006.200","doi":"10.1109/CIMCA.2006.200","timestamp":"Fri, 02 Jun 2017 01:00:00 +0200","biburl":"http://dblp.org/rec/bib/conf/cimca/RuizCCP06","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/cimca/RuizCCP06,\n author = {M. Carmen Ruiz and\n Diego Cazorla and\n Fernando Cuartero and\n Juan Jos{\\'{e}} Pardo},\n title = {Specification and performance evaluation of Flexible Manufacturing\n Systems using a Bounded True Concurrent Process Algebra},\n booktitle = {2006 International Conference on Computational Intelligence for Modelling\n Control and Automation {(CIMCA} 2006), International Conference on\n Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}\n 2006), 29 November - 1 December 2006, Sydney, Australia},\n pages = {46},\n year = {2006},\n crossref = {DBLP:conf/cimca/2006},\n url = {https://doi.org/10.1109/CIMCA.2006.200},\n doi = {10.1109/CIMCA.2006.200},\n timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},\n biburl = {http://dblp.org/rec/bib/conf/cimca/RuizCCP06},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Ruiz, M. C.","Cazorla, D.","Cuartero, F.","Pardo, J. J."],"key":"DBLP:conf/cimca/RuizCCP06","id":"DBLP:conf/cimca/RuizCCP06","bibbaseid":"ruiz-cazorla-cuartero-pardo-specificationandperformanceevaluationofflexiblemanufacturingsystemsusingaboundedtrueconcurrentprocessalgebra-2006","role":"author","urls":{"Paper":"https://doi.org/10.1109/CIMCA.2006.200"},"downloads":0},"search_terms":["specification","performance","evaluation","flexible","manufacturing","systems","using","bounded","true","concurrent","process","algebra","ruiz","cazorla","cuartero","pardo"],"keywords":[],"authorIDs":[],"dataSources":["X6hizZFtb73ScJTEf"]}