Back to Search
Start Over
Specifying Transaction Control to Serialize Concurrent Program Executions.
- Source :
- Abstract State Machines, Alloy, B, TLA, VDM & Z; 2014, p142-157, 16p
- Publication Year :
- 2014
Details
- Language :
- English
- ISBNs :
- 9783662436516
- Database :
- Complementary Index
- Journal :
- Abstract State Machines, Alloy, B, TLA, VDM & Z
- Publication Type :
- Book
- Accession number :
- 98412012
- Full Text :
- https://doi.org/10.1007/978-3-662-43652-3_13