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 10 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 23 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