Publications of A. Labella

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  ALL, with author Labella A., in the category ALL (or show them all):   (Items found: 14)


1990 | 1987 | 1986 | 1985 | 1984 | 1983

1990  [top]
  • Kasangian S., Labella A., Alberto Pettorossi: Observers, Experements, and Agents: A Comprehensive Approach to Parallelism, in the Proceedings of Summer School, La Roche-Posay, France, Lecture Notes in Computer Science, 469, Springer-Verlag, 375-407, 1990
  • Kasangian S., Labella A., Alberto Pettorossi: Observers, Experiments, and Agents: A Comprehensive Approach to Parallelism, in the Proceedings of Summer School, La Roche-Posay, France, Lecture Notes in Computer Science, 469, Springer-Verlag, 375-407, 1990

1987  [top]
  • Kasangian S., Labella A., Alberto Pettorossi: Enriched Categories for Local and Interaction Calculi, in the Proceedings of Summer Conference on Category Theory and Computer Science, Pitt D.H., Poigné A., Rydeheard D.E. eds., Lecture Notes in Computer Science, 283, Springer-Verlag, 57-70, 1987
  • Labella A., Alberto Pettorossi: Universal Models in Categories for Process Synchronization, in the Proceedings of Advanced School on Mathematical Models for the Semantics of Parallelism, Lecture Notes in Computer Science, 280, Springer-Verlag, 183-198, 1987
  • Labella A., Alberto Pettorossi: Categories For Modelling Communicating Processes, Computers and Artificial Intelligence 6 (3), 279-296, 1987
  • Labella A., Alberto Pettorossi: Universal models in categories for process synchronization., IASI-CNR, R. 180, 02/1987

1986  [top]
  • Labella A.: Tree categories for modelling non deterministic and parallel computations., IASI-CNR, R. 152, 03/1986
  • Labella A., Alberto Pettorossi: The definition of categorical models of process cooperation., IASI-CNR, R. 154, 04/1986

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

1984  [top]

1983  [top]
  • Labella A., Alberto Pettorossi: Categories for Handshaking Communications, in the Proceedings of Colloquia Mathematica Societatis Janos Bolyai 42. Algebra, Combinatorics and Logic in Computer Science, 555-582, 1983
  • Labella A., Alberto Pettorossi: Towards a categorical understanding of parallelism., IASI-CNR, R. 54, 01/1983
  • Labella A., Alberto Pettorossi: Categories for handshaking communications., IASI-CNR, R. 67, 09/1983
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -