Search Sciweavers | Sciweavers

4460 search results - page 31 / 892

» Resources in process algebra

112

click to vote

ACSD
2008
IEEE

89views Hardware» more ACSD 2008»

Process algebraic verification of SystemC codes

15 years 10 months ago

Download www.win.tue.nl

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

claim paper

Read More »

120

click to vote

QEST
2008
IEEE

113views Modeling and Simulation» more QEST 2008»

Recent Extensions to the Stochastic Process Algebra Tool CASPA

15 years 10 months ago

Download www.unibw.de

Martin Riedl, Johann Schuster, Markus Siegle

claim paper

Read More »

137

click to vote

AB
2008
Springer

351views Computational Biology» more AB 2008»

Process Algebra Models of Population Dynamics

15 years 10 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 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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers