{"_id":"asHWWMo8oabxLZw5C","bibbaseid":"talpin-nowak-asynchronoussemanticsofhigherorderprocessesformodelingreconfigurablereactivesystems-1998","authorIDs":["Q8nWoCgp6SjySyEux"],"author_short":["Talpin, J.","Nowak, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jean-Pierre"],"propositions":[],"lastnames":["Talpin"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Nowak"],"suffixes":[]}],"editor":[{"firstnames":["Vikraman"],"propositions":[],"lastnames":["Arvind"],"suffixes":[]},{"firstnames":["Ramaswamy"],"propositions":[],"lastnames":["Ramanujam"],"suffixes":[]}],"title":"A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems","booktitle":"Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings","series":"Lecture Notes in Computer Science","volume":"1530","pages":"78–89","publisher":"Springer","year":"1998","url":"https://doi.org/10.1007/978-3-540-49382-2_8","doi":"10.1007/978-3-540-49382-2_8","timestamp":"Tue, 14 May 2019 10:00:51 +0200","biburl":"https://dblp.org/rec/conf/fsttcs/TalpinN98.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fsttcs/TalpinN98,\n author = {Jean{-}Pierre Talpin and\n David Nowak},\n editor = {Vikraman Arvind and\n Ramaswamy Ramanujam},\n title = {A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable\n Reactive Systems},\n booktitle = {Foundations of Software Technology and Theoretical Computer Science,\n 18th Conference, Chennai, India, December 17-19, 1998, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {1530},\n pages = {78--89},\n publisher = {Springer},\n year = {1998},\n url = {https://doi.org/10.1007/978-3-540-49382-2\\_8},\n doi = {10.1007/978-3-540-49382-2\\_8},\n timestamp = {Tue, 14 May 2019 10:00:51 +0200},\n biburl = {https://dblp.org/rec/conf/fsttcs/TalpinN98.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Talpin, J.","Nowak, D."],"editor_short":["Arvind, V.","Ramanujam, R."],"key":"DBLP:conf/fsttcs/TalpinN98","id":"DBLP:conf/fsttcs/TalpinN98","bibbaseid":"talpin-nowak-asynchronoussemanticsofhigherorderprocessesformodelingreconfigurablereactivesystems-1998","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-540-49382-2_8"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/n/DavidNowak.bib","creationDate":"2020-06-02T14:36:01.667Z","downloads":0,"keywords":[],"search_terms":["synchronous","semantics","higher","order","processes","modeling","reconfigurable","reactive","systems","talpin","nowak"],"title":"A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems","year":1998,"dataSources":["QsobDjoLrbY9ktAcA"]}