Verification of well-formed communicating recursive state machines
formal models of concurrency and recursion
scientific article; zbMATH DE number 5344356
scientific article