✦ LIBER ✦

Extending statecharts with process algebra operators

✍ Scribed by Marc Frappier; Frédéric Gervais; Régine Laleau; Benoît Fraikin; Richard St-Denis

Book ID: 106573646
Publisher: Springer
Year: 2008
Tongue: English
Weight: 334 KB
Volume: 4
Category: Article
ISSN: 1614-5046
DOI: 10.1007/s11334-008-0064-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extending statecharts with temporal logi

Extending statecharts with temporal logic

✍ Sowmya, A.; Ramesh, S. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 260 KB

Extending algebraic operations to -compl

Extending algebraic operations to -completions

✍ Klaus Keimel; Jimmie D. Lawson 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 314 KB

Extending MaxBox with a Computational Al

Extending MaxBox with a Computational Algebra System

✍ Kenneth Ruthven 📂 Article 📅 1995 ⚖ 836 KB

Extended operator algebra for abelian sa

Extended operator algebra for abelian sandpile models

✍ Deepak Dhar 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 317 KB

We generalize the definition of the operators corresponding to particle addition in the abelian sandpile models to include a phase factor e ~', where n is the number of topplings in the avalanche, and • is a real parameter. The new operators so defined are still abelian, and their derivatives with r

Program algebra with unit instruction op

Program algebra with unit instruction operators

✍ Alban Ponse 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 180 KB

Extending The Unified Process With Compo

Extending The Unified Process With Composition

✍ Valérie Monfort; Hubert Kadima 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 58 KB