Sciweavers

4460 search results - page 32 / 892

» Resources in process algebra

25

SFM
2007
Springer

97views Formal Methods» more SFM 2007»

Stochastic Process Algebras

14 years 3 months ago

Stochastic Process Algebras

Download www.dcs.ed.ac.uk

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

claim paper

Read More »

25

ESTIMEDIA
2004
Springer

98views Multimedia» more ESTIMEDIA 2004»

Algebraic techniques in the memory size computation of multimedia processing applications

14 years 3 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 »

22

IFIP
2004
Springer

96views Programming Languages» more IFIP 2004»

Highly Undecidable Questions for Process Algebras

14 years 3 months ago

Highly Undecidable Questions for Process Algebras

Download www.brics.dk

Petr Jancar, Jirí Srba

claim paper

Read More »

41

CONCUR
2003
Springer

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

A Process-Algebraic Language for Probabilistic I/O Automata

14 years 2 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 »

16

ICALP
2003
Springer

79views Programming Languages» more ICALP 2003»

Polarized Process Algebra and Program Equivalence

14 years 2 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 32 / 892 Last » Next »