CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a …