Concurrency and compositionality. Extended abstracts of a workshop

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.