Free shuffle algebras in language varieties

Modeling concurrency with partial orders

Vaughan Pratt · International Journal of Parallel Programming · 1986 · 642 citations

Engineering, Concurrency Theory, Parallel Programming +5

The Recognition of Series Parallel Digraphs

Jacobo Valdes, Robert E. Tarjan, Eugene L. Lawler · SIAM Journal on Computing · 1982 · 608 citations

Directed Graph, Engineering, Network Analysis +18

On Partial Languages

Jan E. Grabowski · Fundamenta Informaticae · 1981 · 232 citations

Petri Net, Engineering, Concurrent System +22

The equational theory of pomsets

Jay Loren Gischer · Theoretical Computer Science · 1988 · 195 citations

Theoretical Mathematics, Algebraic Analysis, Equational Theory +1

Varieties of ordered algebras

Stephen L. Bloom · Journal of Computer and System Sciences · 1976 · 177 citations

Ordered Algebras, Abstract Algebra, Universal Algebra +1