On the classification of dipaths in geometric models for concurrency
RAUSSEN, MARTINVolume:
10
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129500003145
Date:
August, 2000
File:
PDF, 414 KB
english, 2000