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://spencertifieders.shop/product-category/dvd-parts/