publication venue for Modelling concurrency with tabular expressions 2004 On properties of "part of" relations 2004