Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. Process algebra under the light of Wolfram's NKS. In: Algebraic Process Calculi: The First Twenty Five Years and Beyond, (Bertinoro (Forli'), Italy, August 1-5, 2005). Proceedings, vol. NS-05-3 pp. 56 - 59. Luca Aceto, Andrew Gordon (eds.). BRICS Notes Series, 2005.
The strong intellectual investment behind the definition of process algebras and the high abstraction level they can attain in formal specification still contrasts with their degree of penetration into software engineering practice, but also with the relatively limited number of other fields of fundamental science where these models have played some role. An emerging area in which process algebras might lend themselves to attractive investigations is Wolfram's 'New Kind of Science' (NKS). In this short note we start discussing possible motivations and preliminary steps for placing process algebra under this new light, and for exploring its versatility by NKS-style experiments.
URL: http://www.brics.dk/NS/05/3/index.html
Subject Process algebra
Pseudo-random numbers
F1.1 Models 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