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) ...
more (ru) ...