Sciweavers

2171 search results - page 45 / 435

» A Generic Process Algebra

136

SFM
2007
Springer

97views Formal Methods» more SFM 2007»

Stochastic Process Algebras

16 years 1 months ago

Stochastic Process Algebras

Download www.dcs.ed.ac.uk

Allan Clark, Stephen Gilmore, Jane Hillston, Mirco...

claim paper

Read More »

137

ESTIMEDIA
2004
Springer

98views Multimedia» more ESTIMEDIA 2004»

Algebraic techniques in the memory size computation of multimedia processing applications

16 years 10 days ago

Algebraic techniques in the memory size computation of multimedia processing applications

Download www.cs.uic.edu

Hongwei Zhu, Karthik Cbandramouli, Yan Yue, Florin...

claim paper

Read More »

130

IFIP
2004
Springer

96views Programming Languages» more IFIP 2004»

Highly Undecidable Questions for Process Algebras

16 years 9 days ago

Highly Undecidable Questions for Process Algebras

Download www.brics.dk

Petr Jancar, Jirí Srba

claim paper

Read More »

217

CONCUR
2003
Springer

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

A Process-Algebraic Language for Probabilistic I/O Automata

16 years 5 days ago

A Process-Algebraic Language for Probabilistic I/O Automata

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 »

129

ICALP
2003
Springer

79views Programming Languages» more ICALP 2003»

Polarized Process Algebra and Program Equivalence

16 years 4 days ago

Polarized Process Algebra and Program Equivalence

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Inge Bethke

claim paper

Read More »

« Prev « First page 45 / 435 Last » Next »