@article{journals/corr/abs-1904-09946,
  added-at = {2024-06-06T00:00:00.000+0200},
  author = {Yang, Fan and Escobar, Santiago and Meadows, Catherine and Meseguer, José},
  biburl = {https://www.bibsonomy.org/bibtex/21f57ff5848955ba413a98e2e2c22ab70/dblp},
  ee = {http://arxiv.org/abs/1904.09946},
  interhash = {cc345aa5462a514e5ab850aac7d66bf3},
  intrahash = {1f57ff5848955ba413a98e2e2c22ab70},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2024-06-10T07:05:09.000+0200},
  title = {Strand Spaces with Choice via a Process Algebra Semantics.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-09946},
  volume = {abs/1904.09946},
  year = 2019
}

{"_id":"o76SnAxAecffYwuYQ","bibbaseid":"yang-escobar-meadows-meseguer-strandspaceswithchoiceviaaprocessalgebrasemantics-2019","author_short":["Yang, F.","Escobar, S.","Meadows, C.","Meseguer, J."],"bibdata":{"bibtype":"article","type":"article","added-at":"2024-06-06T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Yang"],"firstnames":["Fan"],"suffixes":[]},{"propositions":[],"lastnames":["Escobar"],"firstnames":["Santiago"],"suffixes":[]},{"propositions":[],"lastnames":["Meadows"],"firstnames":["Catherine"],"suffixes":[]},{"propositions":[],"lastnames":["Meseguer"],"firstnames":["José"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/21f57ff5848955ba413a98e2e2c22ab70/dblp","ee":"http://arxiv.org/abs/1904.09946","interhash":"cc345aa5462a514e5ab850aac7d66bf3","intrahash":"1f57ff5848955ba413a98e2e2c22ab70","journal":"CoRR","keywords":"dblp","timestamp":"2024-06-10T07:05:09.000+0200","title":"Strand Spaces with Choice via a Process Algebra Semantics.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-09946","volume":"abs/1904.09946","year":"2019","bibtex":"@article{journals/corr/abs-1904-09946,\n added-at = {2024-06-06T00:00:00.000+0200},\n author = {Yang, Fan and Escobar, Santiago and Meadows, Catherine and Meseguer, José},\n biburl = {https://www.bibsonomy.org/bibtex/21f57ff5848955ba413a98e2e2c22ab70/dblp},\n ee = {http://arxiv.org/abs/1904.09946},\n interhash = {cc345aa5462a514e5ab850aac7d66bf3},\n intrahash = {1f57ff5848955ba413a98e2e2c22ab70},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2024-06-10T07:05:09.000+0200},\n title = {Strand Spaces with Choice via a Process Algebra Semantics.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-09946},\n volume = {abs/1904.09946},\n year = 2019\n}\n\n","author_short":["Yang, F.","Escobar, S.","Meadows, C.","Meseguer, J."],"key":"journals/corr/abs-1904-09946","id":"journals/corr/abs-1904-09946","bibbaseid":"yang-escobar-meadows-meseguer-strandspaceswithchoiceviaaprocessalgebrasemantics-2019","role":"author","urls":{"Link":"http://arxiv.org/abs/1904.09946","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-09946"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Meadows?items=1000","dataSources":["8G4iFLj8NuzKYiymR"],"keywords":["dblp"],"search_terms":["strand","spaces","choice","via","process","algebra","semantics","yang","escobar","meadows","meseguer"],"title":"Strand Spaces with Choice via a Process Algebra Semantics.","year":2019}