Sciweavers

6329 search results - page 28 / 1266
» Detection of Stochastic Processes
Sort
View
QEST
2008
IEEE
14 years 3 months ago
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Martin Riedl, Johann Schuster, Markus Siegle
SFM
2007
Springer
14 years 2 months ago
Stochastic Process Algebras
Allan Clark, Stephen Gilmore, Jane Hillston, Mirco...
POPL
1999
ACM
14 years 28 days ago
Stochastic Processes as Concurrent Constraint Programs
Vineet Gupta, Radha Jagadeesan, Prakash Panangaden