Series and parallel operations on pomsets

Zoltán Ésik, Satoshi Okawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

We consider two-sorted algebras of pomsets (isomorphism classes of labeled partial orders) equipped with the operations of series and parallel product and series and parallel omega power. The main results show that these algebras possess a non-finitely based polynomial time decidable equational theory, which can be axiomatized by an infinite set of simple equations. Alongthe way of provingthe se results, we show that the free algebras in the corresponding variety can be described by generalized series-parallel pomsets. We also provide a graph theoretic characterization of the generalized series-parallel pomsets.

Original languageEnglish
Title of host publicationFoundations of Software Technology and Theoretical Computer Science - 19th Conference, Proceedings
EditorsC. Pandu Rangan, V. Raman, R. Ramanujam
PublisherSpringer Verlag
Pages316-328
Number of pages13
ISBN (Print)3540668365, 9783540668367
DOIs
Publication statusPublished - Jan 1 1999
Event19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTandTCS 1999 - Chennai, India
Duration: Dec 13 1999Dec 15 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1738
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other19th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTandTCS 1999
CountryIndia
CityChennai
Period12/13/9912/15/99

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Ésik, Z., & Okawa, S. (1999). Series and parallel operations on pomsets. In C. Pandu Rangan, V. Raman, & R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science - 19th Conference, Proceedings (pp. 316-328). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1738). Springer Verlag. https://doi.org/10.1007/3-540-46691-6_25