CONCUR 2003 - PDF Preprint Papers

CONCUR 2003 Seminar on Concurrency

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CONCUR-2003 Paper

click to vote

CONCUR
2003
Springer

155views Distributed And Parallel Com...» more CONCUR 2003»

A Process-Algebraic Language for Probabilistic I/O Automata

14 years 4 months ago

Download www.cs.sunysb.edu

We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA speciﬁcations given in our language satisfy the “input-enabled” property, w...

Eugene W. Stark, Rance Cleaveland, Scott A. Smolka

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	155	A Process-Algebraic Language for Probabilistic I/O Automata	claim
2	153	Abstract Patterns of Compositional Reasoning	claim
3	144	Compositionality for Probabilistic Automata	claim
4	123	Bundle Event Structures and CCSP	claim
5	122	Multi-Valued Model Checking via Classical Model Checking	claim
6	121	Contract Signing, Optimism, and Advantage	claim
7	120	Model Checking a Path	claim
8	117	Priority Rewrite Systems for OSOS Process Languages	claim
9	115	Comparative Branching-Time Semantics	claim
10	106	Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus	claim
11	101	A Compositional Semantic Theory for Synchronous Component-based Design	claim
12	99	Modeling Consensus in a Process Calculus	claim
13	96	Netcharts: Bridging the gap between HMSCs and executable specifications	claim
14	91	Distributed Monitoring of Concurrent and Asynchronous Systems	claim
15	90	Compression of Partially Ordered Strings	claim
16	89	Deciding Bisimilarity between BPA and BPP Processes	claim
17	86	Linear Forwarders	claim
18	86	Full Abstraction for HOPLA	claim
19	86	Synthesis of Distributed Algorithms Using Asynchronous Automata	claim
20	81	The Element of Surprise in Timed Games	claim
21	81	Syntactic Formats for Free	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers