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.

Process algebra under the light of Wolfram's NKS

Bolognesi T.
2006

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.
2006
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Inglese
Luca Aceto, Andrew D. Gordon (eds.)
Workshop "Essays on Algebraic Process Calculi" proceedings
PA'05 - Essays on Algebraic Process Calculi: The First Twenty Five Years and Beyond
101
105
5
http://www.sciencedirect.com/science/article/pii/S157106610600418X
Academic Press Elsevier
Amsterdam
PAESI BASSI
Sì, ma tipo non specificato
1-5 Agosto 2005
Bertinoro, Forli'
Process algebra
Elementary cellular automata
Emergent feature
Wolfram sequence
Pseudo-random numbers
Elettronico
1
open
Bolognesi, T.
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
File in questo prodotto:
File Dimensione Formato  
prod_181766-doc_22467.pdf

accesso aperto

Descrizione: Process Algebra Under the Light of Wolfram's NKS
Tipologia: Versione Editoriale (PDF)
Licenza: Altro tipo di licenza
Dimensione 177.28 kB
Formato Adobe PDF
177.28 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/806
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact