Search Sciweavers | Sciweavers

950 search results - page 31 / 190

» Process Algebra in PVS

128

click to vote

AB
2008
Springer

351views Computational Biology» more AB 2008»

Process Algebra Models of Population Dynamics

15 years 9 months ago

Download pastaworkshop.org

Chris McCaig, Rachel Norman, Carron Shankland

claim paper

Read More »

click to vote

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

15 years 9 months ago

Download www.lri.fr

Radu Mateescu, Pascal Poizat, Gwen Salaün

claim paper

Read More »

117

click to vote

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

15 years 9 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 9 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 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers