1. Home
  2. Issues
  3. Volume 28, Issue 3 (2017)
  4. From Process Models to Concurrent System ...

Informatica


Cited by 3
From Process Models to Concurrent Systems in Alvis Language

International Conference on Frontiers of Traffic and Transportation Engineering (FTTE 2022)
Yi Zhang, Kaicheng Li, Guodong Wei, Lei Yuan, Fei Wang, Changxi Ma
https://doi.org/10.1117/12.2652694
Conference:  (2022), p. 71
Assessing business process models: a literature review on techniques for BPMN testing and formal verification
Tomás Lopes, Sérgio Guerreiro
https://doi.org/10.1108/BPMJ-11-2022-0557
Journal:  Business Process Management Journal Volume 29, Issue 8 (2023), p. 133
Efficient conditional compliance checking of business process models
H. Groefsema, N.R.T.P. van Beest, A. Armas-Cervantes
https://doi.org/10.1016/j.compind.2019.103181
Journal:  Computers in Industry Volume 115 (2020), p. 103181


Share


RSS