Process algebra under the light of Wolfram's NKS (Articolo in rivista)

Type
Label
  • Process algebra under the light of Wolfram's NKS (Articolo in rivista) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bolognesi T. (2006)
    Process algebra under the light of Wolfram's NKS
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bolognesi T. (literal)
Pagina inizio
  • 101 (literal)
Pagina fine
  • 105 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 162 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • 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 (ed.). Elsevier, 2006. (literal)
Titolo
  • Process algebra under the light of Wolfram's NKS (literal)
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. (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


Prodotto
Insieme di parole chiave di
data.CNR.it