An equational approach to concurrency

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/110449

Title:	An equational approach to concurrency
Author:	Orejas Valdés, Fernando
Other authors:	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Facultat d'Informàtica de Barcelona; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Abstract:	In this paper, we describe how can we use equations to specify the behavour of concurrent processes.
Subject(s):	-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -Concurrent processing (Computer science) -Parallel processing (Electronic computers) -Processament en paral·lel (Ordinadors)
Rights:
Document type:	Article - Published version Conference Object
Published by:	Universidad del Pais Vasco
Share: