Step semantics for ``true'' concurrency with recursion
scientific article; zbMATH DE number 4153901
scientific article