Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ISSE
2008

favoriteEmaildiscussreport

71views Security Privacy» more ISSE 2008»

Extending statecharts with process algebra operators

13 years 4 months ago

Extending statecharts with process algebra operators

Download www.artist-embedded.org

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

Real-time Traffic

ISSE 2008 | Security Privacy |

claim paper

Related Content

» Statecharts Via Process Algebra

» Algebraic results for structured operational semantics

» Streaming SPARQL Extending SPARQL to Process Data Streams

» Compositionality of HennessyMilner Logic through Structural Operational Semantics

» Dynamic Meta Modeling A Graphical Approach to the Operational Semantics of Behavioral Diag...

» Process Algebra with Probabilistic Choice

» Fast and Simple Relational Processing of Uncertain Data

» Partial difference equations on graphs for Mathematical Morphology operators over images a...

» What is algebraic in process theory

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2008
Where	ISSE
Authors	Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St.-Denis

Comments (0)