%0 Conference Paper %1 conf/fsen/HirschkoffMX15 %A Hirschkoff, Daniel %A Madiot, Jean-Marie %A Xu, Xian %B FSEN %D 2015 %E Dastani, Mehdi %E Sirjani, Marjan %I Springer %K dblp %P 143-158 %T A Behavioural Theory for a π-calculus with Preorders. %U http://dblp.uni-trier.de/db/conf/fsen/fsen2015.html#HirschkoffMX15 %V 9392 %@ 978-3-319-24643-7

@inproceedings{conf/fsen/HirschkoffMX15, added-at = {2019-10-31T00:00:00.000+0100}, author = {Hirschkoff, Daniel and Madiot, Jean-Marie and Xu, Xian}, biburl = {https://www.bibsonomy.org/bibtex/21f558733bdd4939bcbab71ae010ab180/dblp}, booktitle = {FSEN}, crossref = {conf/fsen/2015}, editor = {Dastani, Mehdi and Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-319-24644-4_10}, interhash = {0c3be7252545df7a5917310b22061ed5}, intrahash = {1f558733bdd4939bcbab71ae010ab180}, isbn = {978-3-319-24643-7}, keywords = {dblp}, pages = {143-158}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-01T11:48:58.000+0100}, title = {A Behavioural Theory for a π-calculus with Preorders.}, url = {http://dblp.uni-trier.de/db/conf/fsen/fsen2015.html#HirschkoffMX15}, volume = 9392, year = 2015 }