Titel

Merkliste
1 Ergebnisse

The two-step commitment protocol : Modeling, specificati..:

, In: Proceedings of the 5th international conference on Software engineering,

Baer, J. L. ; Gardarin, G. ; Girault, C.. - p. 363-373 , 1981

Link: https://dl.acm.org/doi/10.5555/800078.802549

RT 
T1 <cTitle>Proceedings of the 5th international conference on Software engineering</cTitle>: T1 <Title>The two-step commitment protocol				: Modeling, specification and proof methodology</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-802549&Exemplar=1&LAN=DE
				
A1 Baer, J. L.
A1 Gardarin, G.
A1 Girault, C.
A1 Roucairol, G.
PB IEEE Press
YR 1981
K1 Information systems
K1 Data management systems
K1 Database administration
K1 Database utilities and tools
K1 Database management system engines
K1 Distributed database transactions
K1 Distributed database recovery
K1 Database transaction processing
K1 Database recovery
K1 Software and its engineering
K1 Software organization and properties
K1 Software system structures
K1 Software system models
K1 Petri nets
K1 Theory of computation
K1 Logic
K1 Proof theory
K1 Software functional properties
K1 Correctness
K1 Networks
K1 Network protocols
K1 Parallel and distributed DBMSs
SP 363
OP 373
LK http://dx.doi.org/https://dl.acm.org/doi/10.5555/800078.802549
DO https://dl.acm.org/doi/10.5555/800078.802549
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)