%0 Conference Paper %1 journals/entcs/BertranBC07 %A Bertran, Miquel %A Babot, Francesc-Xavier %A Climent, August %B PROLE %D 2006 %E Lucio, Paqui %E Orejas, Fernando %I Elsevier %K dblp %P 53-75 %T Formal Sequentialization of Distributed Systems via Program Rewriting. %U http://dblp.uni-trier.de/db/journals/entcs/entcs188.html#BertranBC07 %V 188

@inproceedings{journals/entcs/BertranBC07, added-at = {2023-01-31T00:00:00.000+0100}, author = {Bertran, Miquel and Babot, Francesc-Xavier and Climent, August}, biburl = {https://www.bibsonomy.org/bibtex/24f97cd6e1c3fcf07282e8af2616ec0ad/dblp}, booktitle = {PROLE}, crossref = {conf/prole/2006}, editor = {Lucio, Paqui and Orejas, Fernando}, ee = {https://doi.org/10.1016/j.entcs.2007.05.038}, interhash = {cbd6bb83764291bb5713f0d06628131b}, intrahash = {4f97cd6e1c3fcf07282e8af2616ec0ad}, keywords = {dblp}, pages = {53-75}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T13:14:11.000+0200}, title = {Formal Sequentialization of Distributed Systems via Program Rewriting.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs188.html#BertranBC07}, volume = 188, year = 2006 }