In: Akl, S.G.; et al.: Advances in Computing and Information. Proceedings of the International Conference ICCI'90, 1990, Niagara Falls, Ont., Canada, pages 336-345. Berlin, Germany: Springer-Verlag, 1990.
Abstract: The paper presents a unique net semantics of regular and concurrent regular expressions. The resulting nets are 1-save, unlabelled nets with silent actions. In this way structural independence from concurrent context representation of systems can be obtained. Interestingly enough, nonsequential representations of sequential behaviours has been found to be an alternative for symbolic representation.
Keywords: core concurrency; net semantics (of) regular (and) concurrent regular expression(s); (1-) save unlabelled net(s) (with) silent actions; symbolic representation; structural independence (from) concurrent context representation.