Search Sciweavers | Sciweavers

1532 search results - page 70 / 307

» An Algebraic Process Calculus

click to vote

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

15 years 10 months ago

Download www.lri.fr

Radu Mateescu, Pascal Poizat, Gwen Salaün

claim paper

Read More »

127

Voted

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

15 years 10 months ago

Download www.win.tue.nl

Michel A. Reniers, Muck van Weerdenburg

claim paper

Read More »

105

click to vote

SFM
2007
Springer

97views Formal Methods» more SFM 2007»

Stochastic Process Algebras

15 years 10 months ago

Download www.dcs.ed.ac.uk

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

claim paper

Read More »

106

click to vote

ESTIMEDIA
2004
Springer

98views Multimedia» more ESTIMEDIA 2004»

Algebraic techniques in the memory size computation of multimedia processing applications

15 years 9 months ago

Download www.cs.uic.edu

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

claim paper

Read More »

103

click to vote

IFIP
2004
Springer

96views Programming Languages» more IFIP 2004»

Highly Undecidable Questions for Process Algebras

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers