Search Sciweavers | Sciweavers

942 search results - page 22 / 189

» Process Algebraic Non-product-forms

100

Voted

ENTCS
2006

98views more ENTCS 2006»

A Petri Net Semantics of a Simple Process Algebra for Mobility

15 years 2 months ago

Download www.cs.ncl.ac.uk

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

claim paper

Read More »

114

click to vote

ENTCS
2006

105views more ENTCS 2006»

Monte Carlo Methods for Process Algebra

15 years 2 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 »

Voted

ISSE
2008

71views Security Privacy» more ISSE 2008»

Extending statecharts with process algebra operators

15 years 2 months ago

Download www.artist-embedded.org

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

claim paper

Read More »

Voted

ENTCS
2007

97views more ENTCS 2007»

A Process Algebra for Reasoning About Quantum Security

15 years 2 months ago

Download www.mscs.dal.ca

Pedro Adão, Paulo Mateus

claim paper

Read More »

104

click to vote

PPL
2008

82views more PPL 2008»

Automatic Mapping of Assist Applications Using Process Algebra

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers