A fully abstract model for concurrent nondeterministic processes based on posets with non-actions

Abstract

Abstract is not available.

    Similar works