Search Sciweavers | Sciweavers

1012 search results - page 31 / 203

» Process Algebra with Backtracking

126

click to vote

ACSD
2008
IEEE

89views Hardware» more ACSD 2008»

Process algebraic verification of SystemC codes

16 years 12 days ago

Download www.win.tue.nl

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

claim paper

Read More »

140

click to vote

QEST
2008
IEEE

113views Modeling and Simulation» more QEST 2008»

Recent Extensions to the Stochastic Process Algebra Tool CASPA

16 years 9 days ago

Download www.unibw.de

Martin Riedl, Johann Schuster, Markus Siegle

claim paper

Read More »

161

click to vote

AB
2008
Springer

351views Computational Biology» more AB 2008»

Process Algebra Models of Population Dynamics

16 years 9 days ago

Download pastaworkshop.org

Chris McCaig, Rachel Norman, Carron Shankland

claim paper

Read More »

102

click to vote

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

16 years 6 days ago

Download www.lri.fr

Radu Mateescu, Pascal Poizat, Gwen Salaün

claim paper

Read More »

149

click to vote

FSEN
2007
Springer

115views Software Engineering» more FSEN 2007»

Action Abstraction in Timed Process Algebra

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers