Search Sciweavers | Sciweavers

1012 search results - page 38 / 203

» Process Algebra with Backtracking

click to vote

ENTCS
2006

105views more ENTCS 2006»

Monte Carlo Methods for Process Algebra

13 years 7 months ago

Download www.cs.sunysb.edu

We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...

Radu Grosu, Scott A. Smolka

claim paper

Read More »

click to vote

ISSE
2008

71views Security Privacy» more ISSE 2008»

Extending statecharts with process algebra operators

13 years 7 months ago

Download www.artist-embedded.org

Marc Frappier, Frédéric Gervais, R&e...

claim paper

Read More »

click to vote

ENTCS
2007

97views more ENTCS 2007»

A Process Algebra for Reasoning About Quantum Security

13 years 7 months ago

Download www.mscs.dal.ca

Pedro Adão, Paulo Mateus

claim paper

Read More »

click to vote

PPL
2008

82views more PPL 2008»

Automatic Mapping of Assist Applications Using Process Algebra

13 years 7 months ago

Download graal.ens-lyon.fr

Marco Aldinucci, Anne Benoit

claim paper

Read More »

click to vote

IANDC
2002

107views more IANDC 2002»

Simulation Preorder over Simple Process Algebras

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers