A characterization of set representable labeled partial 2-structures through decompositions

DOI10.1007/BF02983375zbMath0752.68059MaRDI QIDQ1173685

Andrzej Ehrenfeucht, Grzegorz Rozenberg

Publication date: 25 June 1992

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

binary switchesdecomposition of \(ilp2s\)product of \(ilp2s\)

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Partial (set) 2-structures. I: Basic notions and the representation problems
• Partial (set) 2-structures. II: State spaces of concurrent systems
• Theory of 2-structures. I: Clans, basic subclasses, and morphisms
• Theory of 2-structures. II: Representation through labeled tree families
• Elementary transition systems
• A compositional proof system on a category of labelled transition systems
• Unnamed Item

This page was built for publication: A characterization of set representable labeled partial 2-structures through decompositions