Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. Baranov, E. & Bliudze, S. Sci. Comput. Program., 109:2-35, 2015.
Link
Paper bibtex @article{journals/scp/BaranovB15,
added-at = {2016-01-13T00:00:00.000+0100},
author = {Baranov, Eduard and Bliudze, Simon},
biburl = {http://www.bibsonomy.org/bibtex/25b3ea078ef7e8803f1ca85ca3f201260/dblp},
ee = {http://dx.doi.org/10.1016/j.scico.2015.05.011},
interhash = {78f426205ed673bd184677cfc04d83c3},
intrahash = {5b3ea078ef7e8803f1ca85ca3f201260},
journal = {Sci. Comput. Program.},
keywords = {dblp},
pages = {2-35},
timestamp = {2016-01-14T11:35:54.000+0100},
title = {Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP.},
url = {http://dblp.uni-trier.de/db/journals/scp/scp109.html#BaranovB15},
volume = 109,
year = 2015
}
Downloads: 0
{"_id":"BMCFbTWaLt6zDprvn","bibbaseid":"baranov-bliudze-offersemanticsachievingcompositionalityflatteningandfullexpressivenessfortheglueoperatorsinbip-2015","downloads":0,"creationDate":"2016-02-03T13:02:25.700Z","title":"Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP.","author_short":["Baranov, E.","Bliudze, S."],"year":2015,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/simon steyskal?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2016-01-13T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Baranov"],"firstnames":["Eduard"],"suffixes":[]},{"propositions":[],"lastnames":["Bliudze"],"firstnames":["Simon"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/25b3ea078ef7e8803f1ca85ca3f201260/dblp","ee":"http://dx.doi.org/10.1016/j.scico.2015.05.011","interhash":"78f426205ed673bd184677cfc04d83c3","intrahash":"5b3ea078ef7e8803f1ca85ca3f201260","journal":"Sci. Comput. Program.","keywords":"dblp","pages":"2-35","timestamp":"2016-01-14T11:35:54.000+0100","title":"Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP.","url":"http://dblp.uni-trier.de/db/journals/scp/scp109.html#BaranovB15","volume":"109","year":"2015","bibtex":"@article{journals/scp/BaranovB15,\n added-at = {2016-01-13T00:00:00.000+0100},\n author = {Baranov, Eduard and Bliudze, Simon},\n biburl = {http://www.bibsonomy.org/bibtex/25b3ea078ef7e8803f1ca85ca3f201260/dblp},\n ee = {http://dx.doi.org/10.1016/j.scico.2015.05.011},\n interhash = {78f426205ed673bd184677cfc04d83c3},\n intrahash = {5b3ea078ef7e8803f1ca85ca3f201260},\n journal = {Sci. Comput. Program.},\n keywords = {dblp},\n pages = {2-35},\n timestamp = {2016-01-14T11:35:54.000+0100},\n title = {Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP.},\n url = {http://dblp.uni-trier.de/db/journals/scp/scp109.html#BaranovB15},\n volume = 109,\n year = 2015\n}\n\n","author_short":["Baranov, E.","Bliudze, S."],"key":"journals/scp/BaranovB15","id":"journals/scp/BaranovB15","bibbaseid":"baranov-bliudze-offersemanticsachievingcompositionalityflatteningandfullexpressivenessfortheglueoperatorsinbip-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.scico.2015.05.011","Paper":"http://dblp.uni-trier.de/db/journals/scp/scp109.html#BaranovB15"},"keyword":["dblp"],"downloads":0},"search_terms":["offer","semantics","achieving","compositionality","flattening","full","expressiveness","glue","operators","bip","baranov","bliudze"],"keywords":["dblp"],"authorIDs":[],"dataSources":["qcMBJkGk4FzM4bdJY"]}