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

Institut für Anwendungsorientierte Wissensverarbeitung

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Originalsprache	Englisch
Titel	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Proceedings
Verlag	Springer
Seiten	142-157
Seitenumfang	16
Band	8477
ISBN (Print)	9783662436516
DOIs	https://doi.org/10.1007/978-3-662-43652-3_13
Publikationsstatus	Veröffentlicht - Dez. 2014

Publikationsreihe

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

Wissenschaftszweige

202007 Computer Integrated Manufacturing (CIM)
102 Informatik
102001 Artificial Intelligence
102006 Computer Supported Cooperative Work (CSCW)
102010 Datenbanksysteme
102014 Informationsdesign
102015 Informationssysteme
102016 IT-Sicherheit
102022 Softwareentwicklung
102025 Verteilte Systeme
502007 E-Commerce
505002 Datenschutz
506002 E-Government
509018 Wissensmanagement

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Zugriff auf Dokument

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

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

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 (Band 8477, S. 142-157). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 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. Band 8477 Springer, 2014. S. 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. Bd. 8477, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bd. 8477 LNCS, Springer, S. 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. Band 8477 Springer, 2014. S. 142-157 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8477 LNCS).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

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. Band 8477. Springer. 2014. S. 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