skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Pubblicazioni

T
Barbuti, R., N. De Francesco, P. Mancarella, and A. Santone, "Towards a logical semantics for pure Prolog", Science of Computer Programming, vol. 32, no. 1: Elsevier, pp. 145–176, 1998.
De Francesco, N., and A. Santone, "A transformation system for concurrent processes", Acta informatica, vol. 35, no. 12: Springer, pp. 1037–1073, 1998.
A
Barbuti, R., N. De Francesco, and A. Santone, "Algebraic computational models of OR-parallel execution of Prolog", Acta Informatica, vol. 34, no. 6: Springer, pp. 449–489, 1997.
S
Barbuti, R., N. De Francesco, A. Santone, and G. Vaglini, "Selective mu-calculus: New modal operators for proving properties on reduced transition systems", Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE): Springer, pp. 519–534, 1997.
N
De Francesco, N., A. Santone, and G. Vaglini, "A Non-Standard Semantics for Generating Reduced Transition Systems", Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, vol. 1192: Springer, pp. 370-387, 1996.
U
De Francesco, N., and A. Santone, "Unfold/fold transformations of concurrent processes", Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP, vol. 1140: Springer, pp. 167–181, 1996.
M
Barbuti, R., N. De Francesco, and A. Santone, "Modeling OR-Parallel Execution of Prolog using CHOCS.", Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming (ICLP): MIT Press, pp. 547–561, 1995.
P
De Francesco, N., and A. Santone, "A Program Transformations Methodology for CCS", Proceedings of the Fifth Italian Conference of Theoretical Computer Science, Ravello, Italy: {} ’, 1995.

Pages