%0 Conference Paper %1 journals/entcs/BertranBC05 %A Bertran, Miquel %A Babot, Francesc-Xavier %A Climent, August %B PROLE %D 2004 %E Lucas, Salvador %I Elsevier %K dblp %N 1 %P 25-46 %T An Input/Output Semantics for Distributed Program Equivalence Reasoning. %U http://dblp.uni-trier.de/db/conf/prole/prole2004.html#BertranBC05 %V 137

@inproceedings{journals/entcs/BertranBC05, added-at = {2022-12-12T00:00:00.000+0100}, author = {Bertran, Miquel and Babot, Francesc-Xavier and Climent, August}, biburl = {https://www.bibsonomy.org/bibtex/24eaffa8518b69ef4d1a32c92d8e2e526/dblp}, booktitle = {PROLE}, crossref = {conf/prole/2004}, editor = {Lucas, Salvador}, ee = {https://doi.org/10.1016/j.entcs.2005.01.038}, interhash = {e7b34a298a69a983417a0073c022eea2}, intrahash = {4eaffa8518b69ef4d1a32c92d8e2e526}, keywords = {dblp}, number = 1, pages = {25-46}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T13:14:04.000+0200}, title = {An Input/Output Semantics for Distributed Program Equivalence Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/prole/prole2004.html#BertranBC05}, volume = 137, year = 2004 }