scientific article; zbMATH DE number 1361485

MaRDI QIDQ4699303zbMATH OpenFDO

Authors John Glauert, Zurab Khasidashvili

Publication date 21 August 2000

zbMATH Keywords

\(\lambda\)-calculusconflict-free rewrite systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Relating conflict-free stable transition and event models via redex families
• Configuration- and residual-based transition systems for event structures with asymmetric conflict
• scientific article; zbMATH DE number 2043548
• From event-oriented models to transition systems
• Conflict vs causality in event structures

Cited in

(5)

• Relating conflict-free stable transition and event models via redex families
• From event-oriented models to transition systems
• The conflict-free reduction geometry
• Configuration- and residual-based transition systems for event structures with asymmetric conflict
• The geometry of orthogonal reduction spaces

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4699303)