scientific article

zbMATH Open0765.68134MaRDI QIDQ4037400

Didier Vergamini, Eric Madelaine

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

zbMATH Keywords

finite automataprocess algebrasverification by reductionverification methods for concurrent systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Algebraic structures of automata 👍 👎
• Lifting non-finite axiomatizability results to extensions of process algebras 👍 👎
• Decision Problems for Finite Automata over Infinite Algebraic Structures 👍 👎
• Finite Automata over Structures 👍 👎
• A ground-complete axiomatisation of finite-state processes in a generic process algebra 👍 👎
• CONCUR 2005 – Concurrency Theory 👍 👎

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 Q4037400)