Discrete Time Process Algebra

Formal Aspects of Computing - United Kingdom
doi 10.1007/bf01214556
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Discrete Time Process Algebra With Silent Step

2000English

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

Verification of Dense Time Properties Using Theories of Untimed Process Algebra

English

Non Interleaving Process Algebra

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Analysis of Process Quality in Time-Variant Discrete Multichannel Systems

Izvestiâ vysših učebnyh zavedenij. Priborostroenie
2017English

Computer Implementation of a Discrete Set Algebra

1991English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy