A Nice labelling for tree-like event structures of degree 3

DOI10.1016/j.ic.2009.05.006zbMath1205.68249OpenAlexW2950031412MaRDI QIDQ979077

Luigi Santocanale

Publication date: 25 June 2010

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2009.05.006

Mathematics Subject Classification ID

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

Related Items (2)

The Configuration Space of a Robotic Arm in a Tunnel ⋮ On embeddings of CAT(0) cube complexes into products of trees via colouring their hyperplanes

Uses Software

• POEM

Cites Work

• On stable domains
• Modeling concurrency with partial orders
• Petri nets, event structures and domains. I
• Event structures and trace monoids
• Context-free event domains are recognizable
• Finite labelling problem in event structures
• Incidence matrices and interval graphs
• Unfoldings: A partial-order approach to model checking.
• A solution to Dilworth's congruence lattice problem
• A decomposition theorem for partially ordered sets
• Topological Properties of Event Structures
• The Implementation of Mazurkiewicz Traces in POEM
• Notes on finite asynchronous automata
• CONCURRENT AUTOMATA AND DOMAINS
• Sur le coloriage des graphs
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Nice labelling for tree-like event structures of degree 3