Author:
Bunte Olav,van Gool Louis C. M.,Willemse Tim A. C.
Publisher
Springer International Publishing
Reference15 articles.
1. Bollig, B., Finkel, A., Suresh, A.: Bounded reachability problems are decidable in FIFO machines. In: CONCUR. LIPIcs, vol. 171, pp. 49:1–49:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
2. Bunte, O., van Gool, L.C., Willemse, T.A.: On the preservation of properties when changing communication models (2022). https://doi.org/10.48550/ARXIV.2210.06196
3. Lecture Notes in Computer Science;F Chevrou,2020
4. Chevrou, F., Hurault, A., Quéinnec, P.: On the diversity of asynchronous communication. Form. Asp. Comput. 28(5), 847–879 (2016)
5. Derrick, J., Smith, G.: Temporal-logic property preservation under Z refinement. Form. Asp. Comput. 24(3), 393–416 (2012)