%0 Conference Paper %1 conf/fscd/BrunetP20 %A Brunet, Paul %A Pym, David J. %B FSCD %D 2020 %E Ariola, Zena M. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 8:1-8:16 %T Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. %U http://dblp.uni-trier.de/db/conf/fscd/fscd2020.html#BrunetP20 %V 167 %@ 978-3-95977-155-9

@inproceedings{conf/fscd/BrunetP20, added-at = {2020-06-30T00:00:00.000+0200}, author = {Brunet, Paul and Pym, David J.}, biburl = {https://www.bibsonomy.org/bibtex/22283909e8d1730036dbc52b8a053c286/dblp}, booktitle = {FSCD}, crossref = {conf/fscd/2020}, editor = {Ariola, Zena M.}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2020.8}, interhash = {803df337c97b02fe14b305ff598d2bcd}, intrahash = {2283909e8d1730036dbc52b8a053c286}, isbn = {978-3-95977-155-9}, keywords = {dblp}, pages = {8:1-8:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-07-01T11:52:56.000+0200}, title = {Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra.}, url = {http://dblp.uni-trier.de/db/conf/fscd/fscd2020.html#BrunetP20}, volume = 167, year = 2020 }