Search Sciweavers | Sciweavers

56 search results - page 1 / 12

» Statecharts Via Process Algebra

click to vote

CONCUR
1999
Springer

109views Distributed And Parallel Com...» more CONCUR 1999»

Statecharts Via Process Algebra

13 years 9 months ago

Download www4.in.tum.de

Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...

Gerald Lüttgen, Michael von der Beeck, Rance ...

claim paper

Read More »

click to vote

ISSE
2008

71views Security Privacy» more ISSE 2008»

Extending statecharts with process algebra operators

13 years 5 months ago

Download www.artist-embedded.org

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

claim paper

Read More »

click to vote

JLP
2006

108views more JLP 2006»

On testing UML statecharts

13 years 5 months ago

Download fmt.isti.cnr.it

We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...

Mieke Massink, Diego Latella, Stefania Gnesi

claim paper

Read More »

click to vote

CORR
2011
Springer

162views Education» more CORR 2011»

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra

13 years 9 days ago

Download www.math.ru.nl

Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the ﬁnal coalgebras can be...

Nick Bezhanishvili, Mai Gehrke

claim paper

Read More »

click to vote

NDJFL
1998

119views more NDJFL 1998»

Bochvar-McCarthy Logic and Process Algebra

13 years 5 months ago

Download staff.science.uva.nl

We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the condi

Jan A. Bergstra, Alban Ponse

claim paper