TY - GENERIC DO - 10.20944/preprints202405.0756.v1 UR - http://dx.doi.org/10.20944/preprints202405.0756.v1 TI - Formal Language for Objects’ Transactions (ObTFL) T2 - Preprints AU - Adda, Mo PY - 2024 DA - 2024/05/13 PB - Preprints