Process algebra under the light of Wolfram's NKS
Bolognesi T.
F1.1 Models of Computation Process algebra Pseudo-random numbers
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.
Source: Algebraic Process Calculi: The First Twenty Five Years and Beyond, PA '05, pp. 56–59, Bertinoro, August 1-5, 2005
Back to previous page
@inproceedings{oai:it.cnr:prodotti:91230,
title = {Process algebra under the light of Wolfram's NKS},
author = {Bolognesi T.},
booktitle = {Algebraic Process Calculi: The First Twenty Five Years and Beyond, PA '05, pp. 56–59, Bertinoro, August 1-5, 2005},
year = {2005}
}
0000-0003-0854-2587