@dblp

Partial (Set) 2-Structures. Part II: State Spaces of Concurrent Systems.

, and . Acta Inf., 27 (4): 343-368 (1990)

Links and resources

Tags