scientific article; zbMATH DE number 512851
From MaRDI portal
Publication:4281547
zbMATH Open0791.68075MaRDI QIDQ4281547
Publication date: 10 March 1994
Title of this publication is not available (Why is that?)
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Distributed algorithms (68W15)
Related Items (5)
TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION ⋮ Polynomials, fragments of temporal logic and the variety DA over traces ⋮ On undecidability of propositional temporal logics on trace systems ⋮ Axioms for Obligation and Robustness with Temporal Logic ⋮ Polynomials, Fragments of Temporal Logic and the Variety DA over Traces
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 Q4281547)
