Amanote Research

Amanote Research

    RegisterSign In

Discrete Time Process Algebra With Silent Step

doi 10.7551/mitpress/5641.003.0026
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2000

Authors

Unknown

Publisher

The MIT Press


Related search

Discrete Time Process Algebra

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1996English

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

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Discrete Time Process Algebra and the Semantics of SDL

2001English

Performance Evaluation of Distributed Systems Based on a Discrete Real- And Stochastic-Time Process Algebra

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

The State Operator in Real Time Process Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

A Process Algebra With Distributed Priorities

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1998English

Process Algebra With Asynchronous Communication Mechanisms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1985English

The One-Step-Map for Switched Singular Systems in Discrete-Time

2019English

General Six-Step Discrete-Time Zhang Neural Network for Time-Varying Tensor Absolute Value Equations

Discrete Dynamics in Nature and Society
ModelingSimulation
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy