Declarative event based models of concurrency and refinement in psi-calculi
Keywords: پالایش عمل; Psi-calculi; Prime event structures; DCR graphs; Action refinement; Declarative models; Concurrency;