@inproceedings{oai:it.cnr:prodotti:217834,
	title = {Analysis of Concurrent Transactions in a Functional Database Programming Language},
	author = {Giuseppe Amato and Fosca Giannotti and Gianni Mainetto},
	publisher = {IRISA [Institut de recherche en informatique et systèmes aléatoires,, Rennes , Francia},
	booktitle = {Workshop on Anslyse Statique, pp. 171–184, Boredaux, France, September 23-25},
	year = {1992}
}

Amato, Giuseppe
0000-0003-0171-4315
Giannotti, Fosca
0000-0003-3099-3835
Mainetto, Giovanni

Bibliographic record