Process Opacity and Insertion Functions

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]

Authors

Damas P. Gruska

This author has not been identified. Look up 'Damas P. Gruska' in Google

M. Carmen Ruiz

This author has not been identified. Look up 'M. Carmen Ruiz' in Google