%0 Conference Paper %1 journals/entcs/DattaDMR07 %A Datta, Anupam %A Derek, Ante %A Mitchell, John C. %A Roy, Arnab %B Computation, Meaning, and Logic %D 2007 %E Cardelli, Luca %E Fiore, Marcelo %E Winskel, Glynn %I Elsevier %K dblp %P 311-358 %T Protocol Composition Logic (PCL). %U http://dblp.uni-trier.de/db/journals/entcs/entcs172.html#DattaDMR07 %V 172

@inproceedings{journals/entcs/DattaDMR07, added-at = {2023-01-24T00:00:00.000+0100}, author = {Datta, Anupam and Derek, Ante and Mitchell, John C. and Roy, Arnab}, biburl = {https://www.bibsonomy.org/bibtex/2276e8b64383e7ff43f5a25e97bb5b79e/dblp}, booktitle = {Computation, Meaning, and Logic}, crossref = {conf/birthday/2007plotkin}, editor = {Cardelli, Luca and Fiore, Marcelo and Winskel, Glynn}, ee = {https://doi.org/10.1016/j.entcs.2007.02.012}, interhash = {20c08250d7e5e9c8d6bc44ce6b233583}, intrahash = {276e8b64383e7ff43f5a25e97bb5b79e}, keywords = {dblp}, pages = {311-358}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T14:05:44.000+0200}, title = {Protocol Composition Logic (PCL).}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs172.html#DattaDMR07}, volume = 172, year = 2007 }