[tlaplus] Transaction Commit

[Dominik Tornow <dominik.tornow@xxxxxxxxx>]

Hello,

I have a question regarding the tla+ specification of Transaction Commit: 

Why do we need prepared? Wouldn't the most high level specification of transaction semantics simply dictate that all resource managers are eventually committed or eventually aborted?

So what do we express with the transition from working to prepared first? 

Thank you for your time, Dominik

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/06d4039f-4c8c-4a2a-ad42-def63bb4cdd9n%40googlegroups.com.