{"_id":"HvHSskZvQ9rRsPGMd","bibbaseid":"denicola-segala-aprocessalgebraicviewofinputoutputautomata-1995","authorIDs":["xMtf3sJqpfDS3bpdB"],"author_short":["De Nicola, R.","Segala, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Rocco"],"propositions":[],"lastnames":["De Nicola"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Segala"],"suffixes":[]}],"title":"A Process Algebraic View of Input/Output Automata","journal":"Theor. Comput. Sci.","volume":"138","number":"2","pages":"391–423","year":"1995","url":"https://doi.org/10.1016/0304-3975(95)92307-J","doi":"10.1016/0304-3975(95)92307-J","timestamp":"Sun, 28 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tcs/NicolaS95.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tcs/NicolaS95,\n author = {Rocco {De Nicola} and\n Roberto Segala},\n title = {A Process Algebraic View of Input/Output Automata},\n journal = {Theor. Comput. Sci.},\n volume = {138},\n number = {2},\n pages = {391--423},\n year = {1995},\n url = {https://doi.org/10.1016/0304-3975(95)92307-J},\n doi = {10.1016/0304-3975(95)92307-J},\n timestamp = {Sun, 28 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tcs/NicolaS95.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["De Nicola, R.","Segala, R."],"key":"DBLP:journals/tcs/NicolaS95","id":"DBLP:journals/tcs/NicolaS95","bibbaseid":"denicola-segala-aprocessalgebraicviewofinputoutputautomata-1995","role":"author","urls":{"Paper":"https://doi.org/10.1016/0304-3975(95)92307-J"},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/n/RDNicola.bib","creationDate":"2020-05-13T16:09:46.838Z","downloads":0,"keywords":[],"search_terms":["process","algebraic","view","input","output","automata","de nicola","segala"],"title":"A Process Algebraic View of Input/Output Automata","year":1995,"dataSources":["FxajFA698pihqBfpX"]}