Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formal specification and verification of reusable communication models for distributed systems architecture. Future Generation Comp. Syst., 108:178-197, 2020. [doi]
@article{RoulandHJ20, title = {Formal specification and verification of reusable communication models for distributed systems architecture}, author = {Quentin Rouland and Brahim Hamid and Jason Jaskolka}, year = {2020}, doi = {10.1016/j.future.2020.02.033}, url = {https://doi.org/10.1016/j.future.2020.02.033}, researchr = {https://researchr.org/publication/RoulandHJ20}, cites = {0}, citedby = {0}, journal = {Future Generation Comp. Syst.}, volume = {108}, pages = {178-197}, }