On Products of Transition Systems

  • Authors:

  • Egbert Fohry

  • Affiliations:

  • Fachbereich Mathematik und Informatik, Philipps-Universität Marburg, Marburg, Germany

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

For an arbitrary set endofunctor F we give a sufficient and necessary criterium for the existence of products of F-coalgebras. In the case of transition systems, where F=P is the covariant powerset functor, we introduce impeding paths whose existence impedes the existence of the product. Moreover we show, that the product A@?A of a finite transition system A exists if and only if the product A@?B for each finite transition system B exists.