Publications of Alberto Pettorossi

This page shows all publications that appeared in the IASI annual research reports. Authors currently affiliated with the Institute are always listed with the full name.

You can browse through them using either the links of the following line or those associated with author names.

Show all publications of the year  1985, with author Pettorossi A., in the category ALL (or show them all):   (Items found: 7)


1985  [top]
  • Labella A., Alberto Pettorossi: Categorical Models of Process Cooperation, in the Proceedings of Workshop on Category Theory and Computer Programming, Lecture Notes in Computer Science, 240, Springer-Verlag, 282-298, 1985
  • Labella A., Alberto Pettorossi: Categorical Models for Handshaking Communications, Fundamenta Informaticae 8 (3/4), 321-357, 1985
  • Alberto Pettorossi: A Note on Cohen's 'Eliminating Redundant Recursive Calls', ACM Transactions on Programming Languages and Systems 7 (4), 1985
  • Alberto Pettorossi: Towers of Hanoi problems: deriving iterative solutions by program transformation, Bit 25, 327-334, 1985
  • Alberto Pettorossi, Skowron A.: A Methodology for Improving Parallel Programs by Adding Communications, in the Proceedings of Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 208, Springer-Verlag, 228-250, 1985
  • Alberto Pettorossi, Skowron A.: A System for Developing Distributed Communicating Programs, in the Proceedings of International Conference 'Parallel Computing 85', Feilmeier , Joubert , Schendel eds., North Holland, 241-246, 1985
  • Alberto Pettorossi, Skowron A.: A methodology for improving parallel programs by adding communications., IASI-CNR, R. 126, 09/1985
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -