Topology in process calculus. I: Limit behaviour of agents
scientific article; zbMATH DE number 1399533
scientific article