Abstract: The criterion for confluence using decreasing diagrams is a generalization of several well-known confluence criteria in abstract rewriting, such as the strong confluence lemma. We give a new ...
Hello everyone! This is a simple project for embedding bpmn-js in Atlassian Confluence. You can find very similar apps for Confluence here (free) and here. With this ...