The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

L. Aceto; W.J. Fokkink

doi:10.1016/j.entcs.2005.12.076

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

L. Aceto
, W.J. Fokkink

Research output: Contribution to Journal › Article › Academic › peer-review

Abstract

This essay recounts the story of the quest for equational axiomatizations of parallel composition operators in process description languages, and of similar results in the classic field of formal language theory. Some of the outstanding open problems are also mentioned. © 2006 Elsevier B.V. All rights reserved.

Original language	English
Pages (from-to)	43-48
Journal	Electronic Notes in Theoretical Computer Science
Volume	162
DOIs	https://doi.org/10.1016/j.entcs.2005.12.076
Publication status	Published - 2006

Bibliographical note

DBLP:journals/entcs/AcetoF06
Proceedings title: Proceedings of the Workshop on 25 Years of Algebraic Process Calculi (APC 25)
Publisher: Elsevier

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 16 Peace, Justice and Strong Institutions

Access to Document

10.1016/j.entcs.2005.12.076

Persistent URL (handle)

Persistent link

Cite this

@article{340be0580ada405f9bf72da0d47b70c4,

title = "The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems",

abstract = "This essay recounts the story of the quest for equational axiomatizations of parallel composition operators in process description languages, and of similar results in the classic field of formal language theory. Some of the outstanding open problems are also mentioned. {\textcopyright} 2006 Elsevier B.V. All rights reserved.",

author = "L. Aceto and W.J. Fokkink",

note = "DBLP:journals/entcs/AcetoF06 Proceedings title: Proceedings of the Workshop on 25 Years of Algebraic Process Calculi (APC 25) Publisher: Elsevier",

year = "2006",

doi = "10.1016/j.entcs.2005.12.076",

language = "English",

volume = "162",

pages = "43--48",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

AU - Aceto, L.

AU - Fokkink, W.J.

N1 - DBLP:journals/entcs/AcetoF06 Proceedings title: Proceedings of the Workshop on 25 Years of Algebraic Process Calculi (APC 25) Publisher: Elsevier

PY - 2006

Y1 - 2006

N2 - This essay recounts the story of the quest for equational axiomatizations of parallel composition operators in process description languages, and of similar results in the classic field of formal language theory. Some of the outstanding open problems are also mentioned. © 2006 Elsevier B.V. All rights reserved.

AB - This essay recounts the story of the quest for equational axiomatizations of parallel composition operators in process description languages, and of similar results in the classic field of formal language theory. Some of the outstanding open problems are also mentioned. © 2006 Elsevier B.V. All rights reserved.

UR - https://www.scopus.com/pages/publications/33748890705

UR - https://www.scopus.com/pages/publications/33748890705#tab=citedBy

U2 - 10.1016/j.entcs.2005.12.076

DO - 10.1016/j.entcs.2005.12.076

M3 - Article

SN - 1571-0661

VL - 162

SP - 43

EP - 48

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

Abstract

Bibliographical note

UN SDGs

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this