Workflow boolean verification algorithm. Equivalent transformations of workflows // A. Kalenkova

On monday, April 29, was held a session of the PAIS Lab seminar. A. Kalenkova (research fellow of the PAIS Lab) presented the report on subject: Workflow boolean verification algorithm. Equivalent transformations of workflows.

more (ru) ... 

On monday, April 29, was held a session of the PAIS Lab seminar. A. Kalenkova (research fellow of the PAIS Lab) presented the report on subject: Workflow boolean verification algorithm. Equivalent transformations of workflows.

more (ru) ...