✦ LIBER ✦

Preface: Volume 65, Issue 6

✍ Scribed by Eugene Asarin; Oded Maler; Sergio Yovine

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 49 KB
Volume: 65
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80481-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Volume 65, Issue 1

✍ Lawrence S. Moss 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 47 KB

as satellite event to ETAPS'2002. Over the last few years it has become clear that a great variety of state-based dynamical systems, like transition systems, automata, process calculi and class-based systems can be captured uniformly as coalgebras. The aim of the CMCS workshops is to bring together

Preface: Volume 65, Issue 2

✍ Jens Knoop; Wolf Zimmermann 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 50 KB

Preface: Volume 65, Issue 3

✍ Mark van den Brand; Ralf Lämmel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 50 KB

Preface: Volume 65, Issue 5

✍ Florence Maraninchi; Alain Girault; Éric Rutten 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 46 KB

Preface: Volume 65, Issue 4

✍ Elke Pulvermueller; Isabelle Borne; Noury Bouraqadi; Pierre Cointe; Uwe Assmann 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 42 KB

Preface: Volume 65, Issue 7

✍ Benoît Caillaud; Anca Muscholl 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 47 KB

This volume contains the Proceedings of the International Workshop Validation and Implementation of Scenario-based Specifications (VISS'2002) that was held as satellite event of the 5th European Joint Conferences on Theory and Practice of Software (ETAPS'2002) in Grenoble, France, April 7th, 2002.