Strand Spaces with Choice via a Process Algebra Semantics. Yang, F., Escobar, S., Meadows, C., & Meseguer, J. CoRR, 2019.
Strand Spaces with Choice via a Process Algebra Semantics. [link]Link  Strand Spaces with Choice via a Process Algebra Semantics. [link]Paper  bibtex   
@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
}

Downloads: 0