没有找到引用Connections between a concrete and an abstract model of concurrent systems的文章。