TY - RPRT TI - Formal Relationships Between Geometrical and Classical Models for Concurrency AU - Eric Goubault AU - Samuel Mimram PY - 2012 DO - 10.1016/j.entcs.2012.05.007 UR - https://arxiv.org/abs/1004.2818 ID - 1004.2818 ER -