Damas P. Gruska, M. Carmen Ruiz. Process Opacity and Insertion Functions. In Holger Schlingloff, Thomas Vogel 0001, editors, Proceedings of the 29th International Workshop on Concurrency, Specification and Programming (CS&P 2021), Berlin, Germany, September 27-28, 2021. Volume 2951 of CEUR Workshop Proceedings, pages 83-92, CEUR-WS.org, 2021. [doi]
Abstract is missing.