Grazyna Mirkowska Andrzej Salwicki On Axiomatic Definition of Max-Model of Concurrency. 199-230 1986 conf/ac/1986parallel Mathematical Models for the Semantics of Parallelism db/conf/ac/parallel1986.html#MirkowskaS86