Dependable Computing Research Lab

[All | BibTeX Entries] [Papers] [Reports] [Authors]   Copyright Notice

Papers of De Francesco, N.


Papers:
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987

Technical Reports

Authors:
De Francesco, N.


A total of people have accessed this page since 4 March 2003
For more information on these papers/reports please contact: 
notify-email-img

Last modified: 
26 Jan 2017 at 14:33:28

Dependable Computing Research Lab
Dependable Computing Research Lab

Start Conference Manager
Conference Systems

The site is under construction!

 

1989

Books Contributions

A. Bondavalli, N. De Francesco, D. Latella, and G. Vaglini. Shared abstract data types: an algebraic methodology for their specification. In 2nd Symposium on Mathematical Fundamentals of Database Systems-MFDBS'89, LNCS 364, volume 364 of Lecture Notes in Computer Science, pages 53-67. Springer-Verlag, Visegrad, Hungary, June 26-30 1989.
[ ABSTRACT and BibTeX Entry ]

International Conferences

A. Bondavalli, N. De Francesco, D. Latella, and G. Vaglini. Using algebraic specifications for data types shared among concurrent transactions. In 13th. Information Technologies Conference SARAJEVO JAHORINA 1989'', pages 130-1-130-10, Sarajevo, Yugoslavia, March 20-24 1989.
[ ABSTRACT and BibTeX Entry ]