Publication | Closed Access

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

Computational LogicEngineeringAutomated ReasoningVerificationFormal MethodsComputer ScienceTemporal LogicLinear LogicMazurkiewicz TracesFormal SystemFormal VerificationLogical Formalism