Chengfei Liu;Hui Li;Maria E. Orlowska
-;-;-
Declarative Specifications of Complex Transactions
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics