%0 Journal Article %1 journals/corr/abs-2405-10057 %A Albouy, Timothé %A Anta, Antonio Fernández %A Georgiou, Chryssis %A Gestin, Mathieu %A Nicolaou, Nicolas %A Wang, Junlang %D 2024 %J CoRR %K dblp %T AMECOS: A Modular Event-based Framework for Concurrent Object Specification. %U http://dblp.uni-trier.de/db/journals/corr/corr2405.html#abs-2405-10057 %V abs/2405.10057

@article{journals/corr/abs-2405-10057, added-at = {2024-06-12T00:00:00.000+0200}, author = {Albouy, Timothé and Anta, Antonio Fernández and Georgiou, Chryssis and Gestin, Mathieu and Nicolaou, Nicolas and Wang, Junlang}, biburl = {https://www.bibsonomy.org/bibtex/223f4662a87e2cf41175d15f5009f7252/dblp}, ee = {https://doi.org/10.48550/arXiv.2405.10057}, interhash = {f59b9bc267bb1cdbde7469502645b0cf}, intrahash = {23f4662a87e2cf41175d15f5009f7252}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-06-17T07:14:44.000+0200}, title = {AMECOS: A Modular Event-based Framework for Concurrent Object Specification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2405.html#abs-2405-10057}, volume = {abs/2405.10057}, year = 2024 }