An equational approach to concurrency

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/110449

Título:	An equational approach to concurrency
Autor/a:	Orejas Valdés, Fernando
Otros autores:	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.
Materia(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)
Derechos:
Tipo de documento:	Artículo - Versión publicada Objeto de conferencia
Editor:	Universidad del Pais Vasco
Compartir:

Orejas Valdés, Fernando

Fiadeiro, Jose Luis; Orejas Valdés, Fernando

Hermann, Frank; Ehrig, Hartmut; Orejas Valdés, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei; Gottmann, Susann; Engel, Thomas

Schneider, Sven; Lambers, Leen; Orejas Valdés, Fernando

Pasarella Sánchez, Ana Edelmira; Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro, Marisa

Coordinación

Patrocinio