CPO semantics of timed interactive actor networks
scientific article; zbMATH DE number 5382285
scientific article