All links of Sisal

HasCASL DFG Project

---

COMPASS

---

Formal Methods Europe

---

KORSO

---

Statestep

---

StateWORKS Studio

---

ResearchIndex: Structure-preserving specification languages for knowledge-based systems

---

ResearchIndex: Proof Theoretic Approach To Specification Languages

---

AMAST 2000

---

Sisal related site:

• Sisal Group

• Natural Fibre Composites in Structural Components: Alternative Applications for Sisal?

• The Potential Market for Sisal and Henequen Geotextiles

• Discotelsisal Srl

• Announcing - Sisal Scientific Computing Initiative

• Sisal Lives

• Sisal Parallel Programming

• SISAL

• Sisal: A Safe and Efficient Language for Numerical Calculations

• From a Formal Dynamic Semantics of Sisal to a Sisal Environment