Switched PIOA: parallel composition via distributed scheduling
type: Item
instance of: scholarly article
title: Switched PIOA: parallel composition via distributed scheduling
zbMATH Open document ID: 1118.68038
author: Ling Cheung
author: Nancy Lynch
author: Roberto Segala
author: F. Vaandrager
published in: Theoretical Computer Science
publication date: 2006-12-07T00:00:00Z
full work available at URL: http://hdl.handle.net/2066/35322
Mathematics Subject Classification ID: 68M20
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5079006
zbMATH Keywords: switched probabilistic input/output automata
zbMATH Keywords: trace-style semantics
zbMATH Keywords: parallel composition
zbMATH Keywords: distributed scheduling
zbMATH Keywords: compositionality
MaRDI profile type: Publication
OpenAlex ID: W2099863033
cites work: Wait-free synchronization in multiprogrammed systems
cites work: Fast deterministic consensus in a noisy environment
cites work: Randomized protocols for asynchronous consensus
cites work: Efficient low-contention asynchronous consensus with the value-oblivious adversary scheduler
cites work: Theory of Cryptography
cites work: Polylog randomized wait-free consensus
cites work: Theoretical Aspects of Computing - ICTAC 2004
cites work: A testing scenario for probabilistic processes
cites work: Q4791844
cites work: Bisimulation for labelled Markov processes
cites work: Probabilistic extensions of process algebras.
cites work: Q4094202
cites work: Bisimulation through probabilistic testing
cites work: Proving time bounds for randomized distributed algorithms
cites work: CONCUR 2003 - Concurrency Theory
cites work: Q3833630
cites work: Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
cites work: Q4847023
cites work: Validation of Stochastic Systems
cites work: Q4324960
cites work: Q4449196
cites work: Reactive, generative, and stratified models of probabilistic processes
DOI: 10.1016/J.TCS.2006.07.033
description: scientific article; zbMATH DE number 5079006