?url_ver=Z39.88-2004&rft_id=10.4230%2FLIPIcs.CONCUR.2015.226&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Luca&rft.aulast=Cardelli&rft.au=Cardelli%2C+Luca&rft.isbn=978-3-939897-91-0&rft.issn=1868-8969&rft.title=Forward+and+Backward+Bisimulations+for+Chemical+Reaction+Networks&rft.btitle=Proceedings+of+the+26th+International+Conference+on+Concurrency+Theory+(CONCUR+2015)&rft.date=2015&rft.genre=proceeding