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 4 months ago

Download www.lri.fr

Radu Mateescu, Pascal Poizat, Gwen Salaün

claim paper

Read More »

click to vote

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

15 years 4 months ago

Download www.win.tue.nl

Michel A. Reniers, Muck van Weerdenburg

claim paper

Read More »

click to vote

SFM
2007
Springer

97views Formal Methods» more SFM 2007»

Stochastic Process Algebras

15 years 4 months ago

Download www.dcs.ed.ac.uk

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

claim paper

Read More »

click to vote

ESTIMEDIA
2004
Springer

98views Multimedia» more ESTIMEDIA 2004»

Algebraic techniques in the memory size computation of multimedia processing applications

15 years 3 months ago

Download www.cs.uic.edu

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

claim paper

Read More »

click to vote

IFIP
2004
Springer

96views Programming Languages» more IFIP 2004»

Highly Undecidable Questions for Process Algebras

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers