Creol is an object-oriented modeling language in which inherently concurrent objects exchange asynchronous method calls. The operational semantics of Creol is written in an actor-based style. formulated in rewriting logic. The operational semantics yields a language interpreter in the Maude system. https://www.morehartandweinman.com/product-category/quickstrikes/