The State Operator in Real Time Process Algebra

Lecture Notes in Computer Science - Germany
doi 10.1007/bfb0031989
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

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 With Silent Step

2000English

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

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Discrete Time Process Algebra and the Semantics of SDL

2001English

Algebra in Real Life

International Journal of Trend in Scientific Research and Development
2019English

A Lower Density Operator for the Borel Algebra

Results in Mathematics
MathematicsApplied Mathematics
2020English

Information in the Revision Process of Real-Time Datasets

Working paper (Federal Reserve Bank of Philadelphia)
2008English

Abstract Object State in Real-Time Control

IFAC Proceedings Volumes
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy