Publication | Closed Access

The equivalence problem for real-time strict deterministic languages

Programming Language TheoryEngineeringAutomated ReasoningFormal MethodsEquivalence CheckingComputer ScienceDescriptional ComplexityFormal VerificationEquivalence Problem