Search Sciweavers | Sciweavers

2171 search results - page 44 / 435

» A Generic Process Algebra

137

click to vote

ACSD
2008
IEEE

89views Hardware» more ACSD 2008»

Process algebraic verification of SystemC codes

16 years 29 days ago

Download www.win.tue.nl

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...

claim paper

Read More »

151

click to vote

QEST
2008
IEEE

113views Modeling and Simulation» more QEST 2008»

Recent Extensions to the Stochastic Process Algebra Tool CASPA

16 years 26 days ago

Download www.unibw.de

Martin Riedl, Johann Schuster, Markus Siegle

claim paper

Read More »

172

click to vote

AB
2008
Springer

351views Computational Biology» more AB 2008»

Process Algebra Models of Population Dynamics

16 years 25 days ago

Download pastaworkshop.org

Chris McCaig, Rachel Norman, Carron Shankland

claim paper

Read More »

107

click to vote

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

16 years 23 days ago

Download www.lri.fr

Radu Mateescu, Pascal Poizat, Gwen Salaün

claim paper

Read More »

155

click to vote

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers