Search Sciweavers | Sciweavers

1532 search results - page 69 / 307

» An Algebraic Process Calculus

134

click to vote

FSEN
2009
Springer

96views Software Engineering» more FSEN 2009»

Termination in Higher-Order Concurrent Calculi

15 years 10 months ago

Download perso.ens-lyon.fr

Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...

Romain Demangeon, Daniel Hirschkoff, Davide Sangio...

claim paper

Read More »

114

click to vote

SOFSEM
2009
Springer

107views Theoretical Computer Science» more SOFSEM 2009»

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA

16 years 1 months ago

Download www.ksi.mff.cuni.cz

Jens Bachmann, Martin Riedl, Johann Schuster, Mark...

claim paper

Read More »

113

Voted

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 »

138

click to vote

AB
2008
Springer

351views Computational Biology» more AB 2008»

Process Algebra Models of Population Dynamics

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers