Sciweavers

2171 search results - page 45 / 435

» A Generic Process Algebra

117

SFM
2007
Springer

97views Formal Methods» more SFM 2007»

Stochastic Process Algebras

15 years 11 months ago

Stochastic Process Algebras

Download www.dcs.ed.ac.uk

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

claim paper

Read More »

112

ESTIMEDIA
2004
Springer

98views Multimedia» more ESTIMEDIA 2004»

Algebraic techniques in the memory size computation of multimedia processing applications

15 years 10 months 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 »

110

IFIP
2004
Springer

96views Programming Languages» more IFIP 2004»

Highly Undecidable Questions for Process Algebras

15 years 10 months ago

Highly Undecidable Questions for Process Algebras

Download www.brics.dk

Petr Jancar, Jirí Srba

claim paper

Read More »

191

CONCUR
2003
Springer

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

A Process-Algebraic Language for Probabilistic I/O Automata

15 years 10 months 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 »

98

ICALP
2003
Springer

79views Programming Languages» more ICALP 2003»

Polarized Process Algebra and Program Equivalence

15 years 10 months 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 »