BibTeX Export

@article{Authenticus:P-00X-PHA,
	title = {{Location automata for synchronised shuffle expressions}},
	author = {S Broda and A Machiavelo and N Moreira and R Reis},
	doi = {10.1016/j.jlamp.2023.100847},
	journal = {Journal of Logical and Algebraic Methods in Programming},
	pages = {100847},
	publisher = {Elsevier Science Inc},
	type = {Article},
	volume = {132},
	year = {2023}
}