-
1
-
-
85015175752
-
-
Technical report, UK Government Office of Science
-
UK Government Chief Scientific Adviser: Distributed ledger technology: Beyond block chain. Technical report, UK Government Office of Science (2016)
-
(2016)
Distributed Ledger Technology: Beyond Block Chain
-
-
-
3
-
-
84989352355
-
Untrusted business process monitoring and execution using blockchain
-
Rosa, M., Loos, P., Pastor, O. (eds.), pp., Springer, Cham
-
Weber, I., Xu, X., Riveret, R., Governatori, G., Ponomarev, A., Mendling, J.: Untrusted business process monitoring and execution using blockchain. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 329–347. Springer, Cham (2016). doi:10.1007/978-3-319-45348-4 19
-
(2016)
BPM 2016. LNCS
, vol.9850
, pp. 329-347
-
-
Weber, I.1
Xu, X.2
Riveret, R.3
Governatori, G.4
Ponomarev, A.5
Mendling, J.6
-
4
-
-
84940409551
-
Ethereum white paper: A next-generation smart contract and decentralized application platform
-
Latest version: last accessed 29 Nov 2016
-
Buterin, V.: Ethereum white paper: A next-generation smart contract and decentralized application platform. First version (2014). https://github.com/ethereum/wiki/wiki/White-Paper. Latest version: last accessed 29 Nov 2016
-
(2014)
First Version
-
-
Buterin, V.1
-
6
-
-
84989352630
-
Towards a shared ledger business collaboration language based on data-aware processes
-
Sheng, Q.Z., Stroulia, E., Tata, S., Bhiri, S. (eds.), pp., Springer, Cham
-
Hull, R., Batra, V.S., Chen, Y.-M., Deutsch, A., Heath III, F.F.T., Vianu, V.: Towards a shared ledger business collaboration language based on data-aware processes. In: Sheng, Q.Z., Stroulia, E., Tata, S., Bhiri, S. (eds.) ICSOC 2016. LNCS, vol. 9936, pp. 18–36. Springer, Cham (2016). doi:10.1007/978-3-319-46295-0 2
-
(2016)
ICSOC 2016. LNCS
, vol.9936
, pp. 18-36
-
-
Hull, R.1
Batra, V.S.2
Chen, Y.-M.3
Deutsch, A.4
Heath, F.F.T.5
Vianu, V.6
-
7
-
-
0141940583
-
Business artifacts: An approach to operational specification
-
Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Syst. J. 42(3), 428–445 (2003)
-
(2003)
IBM Syst. J.
, vol.42
, Issue.3
, pp. 428-445
-
-
Nigam, A.1
Caswell, N.S.2
-
8
-
-
84951283526
-
Creation of smart-contracting collaborations for decentralized autonomous organizations
-
Matulevičius, R., Dumas, M. (eds.), vol., pp., Springer, Cham
-
Norta, A.: Creation of smart-contracting collaborations for decentralized autonomous organizations. In: Matulevičius, R., Dumas, M. (eds.) BIR 2015. LNBIP, vol. 229, pp. 3–17. Springer, Cham (2015). doi:10.1007/978-3-319-21915-8 1
-
(2015)
BIR 2015. LNBIP
, vol.229
, pp. 3-17
-
-
Norta, A.1
-
10
-
-
85025116047
-
-
Master’s thesis, Department of CS&E, Chalmers University of Technology & University of Gothenburg, Sweden
-
Pettersson, J., Edström, R.: Safer smart contracts through type-driven development. Master’s thesis, Department of CS&E, Chalmers University of Technology & University of Gothenburg, Sweden (2015)
-
(2015)
Safer Smart Contracts through Type-Driven Development
-
-
Pettersson, J.1
Edström, R.2
-
11
-
-
0037362238
-
Fundamentals of control flow in workflows
-
Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Inf. 39(3), 143–209 (2003)
-
(2003)
Acta Inf
, vol.39
, Issue.3
, pp. 143-209
-
-
Kiepuszewski, B.1
Ter Hofstede, A.H.M.2
van der Aalst, W.M.P.3
-
12
-
-
51449094371
-
Semantics and analysis of business process models in BPMN
-
Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008)
-
(2008)
Inf. Softw. Technol.
, vol.50
, Issue.12
, pp. 1281-1294
-
-
Dijkman, R.M.1
Dumas, M.2
Ouyang, C.3
-
13
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
-
(1989)
Proc. IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
14
-
-
84997427866
-
Automated discovery of structured process models: Discover structured vs. discover and structure
-
Comyn-Wattiau, I., Tanaka, K., Song, I.-Y., Yamamoto, S., Saeki, M. (eds.), pp., Springer, Cham
-
Augusto, A., Conforti, R., Dumas, M., Rosa, M., Bruno, G.: Automated discovery of structured process models: discover structured vs. discover and structure. In: Comyn-Wattiau, I., Tanaka, K., Song, I.-Y., Yamamoto, S., Saeki, M. (eds.) ER 2016. LNCS, vol. 9974, pp. 313–329. Springer, Cham (2016). doi:10.1007/978-3-319-46397-1 25
-
(2016)
ER 2016. LNCS
, vol.9974
, pp. 313-329
-
-
Augusto, A.1
Conforti, R.2
Dumas, M.3
Rosa, M.4
Bruno, G.5
|