SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
0 references·1 citing·5 second hop
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions (2004)An Operational Semantics for StAC, a Lang…Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools (2011)Formal Design and Verificatio…Modeling Control Objectives for Business Process Compliance (2007)Transformation of BPMN Models for Behaviour Analysis (2007)Towards Using Reo for Compliance-Aware Business Process Modeling (2008)Autonomous Failure-Handling Mechanism for WF Long Running Transactions (2012)Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix (2018)
this work references cited by second hop

References

No references inside the corpus for this window.

Cited by

  • 2011Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools25 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work