PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R. Concurrency and compositionality. Editorial. Document n. IEI-B5-03, 1990.
 
 
Abstract
(English)
The objective of the workshop is to investigate various proposed formalisms for describing distributed systems and compositional proof methods for studying properties of these systems. We would like to discuss new semantic models which emphasize nonsequentiality, to assess the potential of these models as foundations for new logical frameworks and to investigate the possibility of combining different approaches. The general aim is to develop a theory of concurrency (models, languages and logics with compositionality and abstraction capabilities), in which the distributed nature of processes is properly taken into account.
Subject Concurrency
F.1.2 Modes of Computation


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional