On Products of Transition Systems | Zendy

Egbert Fohry | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

On Products of Transition Systems

Author(s) -

Egbert Fohry

Publication year - 2008

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.05.021

Subject(s) - functor , transition system , product (mathematics) , mathematics , set (abstract data type) , covariant transformation , transition (genetics) , pure mathematics , existential quantification , finite set , algebra over a field , discrete mathematics , computer science , algorithm , chemistry , mathematical analysis , programming language , geometry , biochemistry , gene

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research