We use cookies in order to improve the quality and usability of the HSE website. More information about the use of cookies is available here, and the regulations on processing personal data can be found here. By continuing to use the site, you hereby confirm that you have been informed of the use of cookies by the HSE website and agree with our rules for processing personal data. You may disable cookies in your browser settings.

  • A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

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) ...