A Logical Formalization of Time-Critical Processes with Resources

Carlo Combi; Pietro Sala; Francesca Zerbato

doi:10.1007/978-3-319-98651-7_2

A Logical Formalization of Time-Critical Processes with Resources

Carlo Combi
, Pietro Sala
, Francesca Zerbato

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Business Process Management Forum
Subtitle of host publication	BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings
Editors	Mathias Weske, Marco Montali, Ingo Weber, Jan vom Brocke
Publisher	Springer
Pages	20-36
Number of pages	17
ISBN (Electronic)	978-3-319-98651-7
ISBN (Print)	978-3-319-98650-0
DOIs	https://doi.org/10.1007/978-3-319-98651-7_2
Publication status	Published - 2018
Externally published	Yes

Publication series

Name	Lecture Notes in Business Information Processing
Volume	329

Access to Document

10.1007/978-3-319-98651-7_2

Cite this

Combi, C., Sala, P., & Zerbato, F. (2018). A Logical Formalization of Time-Critical Processes with Resources. In M. Weske, M. Montali, I. Weber, & J. vom Brocke (Eds.), Business Process Management Forum: BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings (pp. 20-36). (Lecture Notes in Business Information Processing; Vol. 329). Springer. https://doi.org/10.1007/978-3-319-98651-7_2

Combi, Carlo ; Sala, Pietro ; Zerbato, Francesca. / A Logical Formalization of Time-Critical Processes with Resources. Business Process Management Forum: BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings. editor / Mathias Weske ; Marco Montali ; Ingo Weber ; Jan vom Brocke. Springer, 2018. pp. 20-36 (Lecture Notes in Business Information Processing).

@inproceedings{e4ac7ba1777a4780acfe3a0294303584,

title = "A Logical Formalization of Time-Critical Processes with Resources",

author = "Carlo Combi and Pietro Sala and Francesca Zerbato",

year = "2018",

doi = "10.1007/978-3-319-98651-7\_2",

language = "English",

isbn = "978-3-319-98650-0",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer",

pages = "20--36",

editor = "Mathias Weske and Marco Montali and Ingo Weber and \{vom Brocke\}, Jan",

booktitle = "Business Process Management Forum",

address = "Germany",

}

Combi, C, Sala, P & Zerbato, F 2018, A Logical Formalization of Time-Critical Processes with Resources. in M Weske, M Montali, I Weber & J vom Brocke (eds), Business Process Management Forum: BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings. Lecture Notes in Business Information Processing, vol. 329, Springer, pp. 20-36. https://doi.org/10.1007/978-3-319-98651-7_2

A Logical Formalization of Time-Critical Processes with Resources. / Combi, Carlo; Sala, Pietro; Zerbato, Francesca.
Business Process Management Forum: BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings. ed. / Mathias Weske; Marco Montali; Ingo Weber; Jan vom Brocke. Springer, 2018. p. 20-36 (Lecture Notes in Business Information Processing; Vol. 329).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A Logical Formalization of Time-Critical Processes with Resources

AU - Combi, Carlo

AU - Sala, Pietro

AU - Zerbato, Francesca

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-319-98651-7_2

DO - 10.1007/978-3-319-98651-7_2

M3 - Conference contribution

SN - 978-3-319-98650-0

T3 - Lecture Notes in Business Information Processing

SP - 20

EP - 36

BT - Business Process Management Forum

A2 - Weske, Mathias

A2 - Montali, Marco

A2 - Weber, Ingo

A2 - vom Brocke, Jan

PB - Springer

ER -

Combi C, Sala P, Zerbato F. A Logical Formalization of Time-Critical Processes with Resources. In Weske M, Montali M, Weber I, vom Brocke J, editors, Business Process Management Forum: BPM Forum 2018, Sydney, NSW, Australia, September 9-14, 2018, Proceedings. Springer. 2018. p. 20-36. (Lecture Notes in Business Information Processing). doi: 10.1007/978-3-319-98651-7_2