Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi

Electronic Proceedings in Theoretical Computer Science, EPTCS - United States
doi 10.4204/eptcs.60.5
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Open Publishing Association

Related search

Encoding Timed Models as Uniform Labeled Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Probabilistic Modular Embedding for Stochastic Coordinated Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Probabilistic and Nondeterministic Aspects of Anonymity

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2009English

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Nondeterministic Versus Probabilistic Linear Search Algorithms

1985English

Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems

2007English

Designing the Uniform Stochastic Photomatrix Therapeutic Systems

Algorithms
MathematicsComputational MathematicsNumerical AnalysisTheoretical Computer ScienceComputational Theory
2020English

Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Coinductive Interpreters for Process Calculi

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy