%0 Conference Paper %1 conf/pdp/SoaresRS15 %A Soares, Pedro %A Ravara, António %A de Sousa, Simão Melo %B PDP %D 2015 %E Daneshtalab, Masoud %E Aldinucci, Marco %E Leppänen, Ville %E Lilius, Johan %E Brorsson, Mats %I IEEE Computer Society %K dblp %P 484-491 %T Revisiting Concurrent Separation Logic and Operational Semantics. %U http://dblp.uni-trier.de/db/conf/pdp/pdp2015.html#SoaresRS15 %@ 978-1-4799-8491-6

@inproceedings{conf/pdp/SoaresRS15, added-at = {2023-11-12T00:00:00.000+0100}, author = {Soares, Pedro and Ravara, António and de Sousa, Simão Melo}, biburl = {https://www.bibsonomy.org/bibtex/2ad7f0b1cddd5ee647077b5a799a5ddc9/dblp}, booktitle = {PDP}, crossref = {conf/pdp/2015}, editor = {Daneshtalab, Masoud and Aldinucci, Marco and Leppänen, Ville and Lilius, Johan and Brorsson, Mats}, ee = {https://doi.ieeecomputersociety.org/10.1109/PDP.2015.85}, interhash = {1bd062626c76506a10108b4426742ed4}, intrahash = {ad7f0b1cddd5ee647077b5a799a5ddc9}, isbn = {978-1-4799-8491-6}, keywords = {dblp}, pages = {484-491}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:08:32.000+0200}, title = {Revisiting Concurrent Separation Logic and Operational Semantics.}, url = {http://dblp.uni-trier.de/db/conf/pdp/pdp2015.html#SoaresRS15}, year = 2015 }