Publikationsdetails

Zitat:	Klaus-Dieter Schewe, E. Börger, "Specifying Transaction Control to Serialize Concurrent Program Executions" : Abstract State Machines, Alloy, B, TLA, VDM, and Z, Serie Lecture Notes in Computer Science (LNCS), Vol. 8477, Springer, Seite(n) 142-157, 12-2014
Original Titel:	Specifying Transaction Control to Serialize Concurrent Program Executions
Sprache des Titels:	Englisch
Original Buchtitel:	Abstract State Machines, Alloy, B, TLA, VDM, and Z
Veröffentlicher:	Springer
Serie:	Lecture Notes in Computer Science (LNCS)
Volume:	8477
Seitenreferenz:	142-157
Erscheinungsmonat:	12
Erscheinungsjahr:	2014
Anzahl der Seiten:	16
Reichweite:	international
Publikationstyp:	Aufsatz / Paper in Tagungsband (referiert)
Autoren:	Klaus-Dieter Schewe, E. Börger
Forschungseinheiten:	Institut für Anwendungsorientierte Wissensverarbeitung

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

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum