scientific article

zbMATH Open0569.68024MaRDI QIDQ3686025

Author name not available (Why is that?)

Publication date: 1984

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

zbMATH Keywords

satisfiability problemdynamic logictemporal logicbranching time logicsDynamic Process LogicTemporal Process Logic

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25)

Related Items (5)

A structural induction theorem for processes ⋮ Title not available (Why is that?) ⋮ Process-Algebraic Interpretations of Positive Linear and Relevant Logics ⋮ Deterministic process logic is elementary ⋮ Negative Results on Decidability and Small Model Property of Process Equations

Recommendations

• On the decidability of process equivalences for the \(\pi\)-calculus 👍 👎
• Decidable first-order transition logics for PA-processes 👍 👎
• On the decidability of process equivalences for the π-calculus 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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