related documents Modelling concurrency with tabular expressions Conferences On properties of "part of" relations Conferences