Abstract
Abstract In this paper, we consider a generalisation of a result due to the author which describes the way in which Mazurkiewicz trace languages serve to represent systems of labelled partial orders, as used in non-interleaving semantics of parallelism. The generalisation extends the class of partial order systems to exclude only a form of non-determinism. Their representation is in terms ofa generalisation of traces, also due to Mazurkiewicz, called multi traces.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
