Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. Process algebra under the light of Wolfram's NKS. In: Electronic Notes in Theoretical Computer Science, vol. 162 pp. 101 - 105. Workshop "Essays on Algebraic Process Calculi" - APC 25 (Bertinoro, Italy 01-05 August 2005). Proceedings. L. Aceto and A.D. Gordon (eds.). Elsevier, 2006.
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.sciencedirect.com/science?_ob=PublicationURL&_tockey=%23TOC%2313109%232006%23998379999%23634340%23FLP%23&_cdi=13109&_pubType=J&view=c&_auth=y&_acct=C000061181&_version=1&_urlVersion=0&_userid=5511047&md5=ac7aecfbf46c65aada2ae9a4f12b8814
Subject Process algebra
F.1.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