Open AccessChecking Realizability of a Timed Business Processes Choreography
Author(s) -
Manuel I. Capel
Publication year - 2017
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0006300404410448
Subject(s) - realizability , computer science , choreography , programming language , business process model and notation , model checking , business process , software engineering , business process modeling , business , work in process , art , literature , dance , marketing