Verification of Dense Time Properties Using Theories of Untimed Process Algebra

doi 10.1007/0-306-47003-9_22
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Kluwer Academic Publishers

Related search

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Discrete Time Process Algebra

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1996English

Process Algebra Contexts and Security Properties

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2010English

Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric Time

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Discrete Time Process Algebra With Silent Step

2000English

Discrete Time Process Algebra and the Semantics of SDL

2001English

The State Operator in Real Time Process Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Problem Solving Using Process Algebra Considered Insightful

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy