Modeling of Distributed Systems by Concurrent Regular Expressions

We propose an algebraic model called concurrent regular expressions for modeling and anal-ysis of distributed systems. These expressions extend regular expressions with four operators- interleaving, interleaving closure, synchronous composition and renaming. Their expressive power is equivalent to those of Petri nets, and therefore they are more general than Path expressions and COSY expressions.