Specifying Transaction Control to Serialize Concurrent Program Executions

Klaus-Dieter Schewe; E. Börger

doi:10.1007/978-3-662-43652-3_13

Specifying Transaction Control to Serialize Concurrent Program Executions

Klaus-Dieter Schewe
, E. Börger

Institute for Application-oriented Knowledge Processing

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

Original language	English
Title of host publication	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings
Publisher	Springer
Pages	142-157
Number of pages	16
Volume	8477
ISBN (Print)	9783662436516
DOIs	https://doi.org/10.1007/978-3-662-43652-3_13
Publication status	Published - Dec 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8477 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of science

202007 Computer integrated manufacturing (CIM)
102 Computer Sciences
102001 Artificial intelligence
102006 Computer supported cooperative work (CSCW)
102010 Database systems
102014 Information design
102015 Information systems
102016 IT security
102022 Software development
102025 Distributed systems
502007 E-commerce
505002 Data protection
506002 E-government
509018 Knowledge management

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1007/978-3-662-43652-3_13

Cite this

Schewe, K.-D., & Börger, E. (2014). Specifying Transaction Control to Serialize Concurrent Program Executions. In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings (Vol. 8477, pp. 142-157). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8477 LNCS). Springer. https://doi.org/10.1007/978-3-662-43652-3_13

Schewe, Klaus-Dieter ; Börger, E. / Specifying Transaction Control to Serialize Concurrent Program Executions. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings. Vol. 8477 Springer, 2014. pp. 142-157 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ca98f4022c6c48e691412079b5e1d924,

title = "Specifying Transaction Control to Serialize Concurrent Program Executions",

author = "Klaus-Dieter Schewe and E. B{\"o}rger",

year = "2014",

month = dec,

doi = "10.1007/978-3-662-43652-3\_13",

language = "English",

isbn = "9783662436516",

volume = "8477",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "142--157",

booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings",

}

Schewe, K-D & Börger, E 2014, Specifying Transaction Control to Serialize Concurrent Program Executions. in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings. vol. 8477, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8477 LNCS, Springer, pp. 142-157. https://doi.org/10.1007/978-3-662-43652-3_13

Specifying Transaction Control to Serialize Concurrent Program Executions. / Schewe, Klaus-Dieter; Börger, E.
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings. Vol. 8477 Springer, 2014. p. 142-157 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8477 LNCS).

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

TY - GEN

T1 - Specifying Transaction Control to Serialize Concurrent Program Executions

AU - Schewe, Klaus-Dieter

AU - Börger, E.

PY - 2014/12

Y1 - 2014/12

UR - https://www.scopus.com/pages/publications/84903650210

U2 - 10.1007/978-3-662-43652-3_13

DO - 10.1007/978-3-662-43652-3_13

M3 - Conference proceedings

SN - 9783662436516

VL - 8477

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 142

EP - 157

BT - Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings

PB - Springer

ER -

Schewe KD, Börger E. Specifying Transaction Control to Serialize Concurrent Program Executions. In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings. Vol. 8477. Springer. 2014. p. 142-157. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-43652-3_13

Specifying Transaction Control to Serialize Concurrent Program Executions

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this