Process Algebra Under the Light of Wolfram's NKS

https://doi.org/10.1016/j.entcs.2005.12.106Get rights and content
Under a Creative Commons license
open access

Abstract

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.

Keywords

Process algebra
elementary cellular automata
emergent feature
Wolfram sequence
pseudo-random numbers

Cited by (0)