✦ LIBER ✦

Preface: Volume 68, Issue 2

✍ Scribed by Nestmann Uwe; Panangaden Prakash

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Volume 68 Issue 4

✍ Lubos Brim; Orna Grumberg 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 39 KB

The aim of the PDMC 2002 workshop was to cover all aspects of parallel and distributed model checking and supporting techniques. The mission was on one side to introduce people to the field of parallel and distributed model checking and on the other side to be a working forum for describing new rese

Preface: Volume 68, Issue 1

✍ Alexander Kurz 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 39 KB

Preface: Volume 68, Issue 5

✍ Walter Vogler; Kim Larsen 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 47 KB

Preface: Volume 68, Issue 6

✍ Antonin Kucera; Richard Mayr 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 46 KB

Preface: Volume 41, Issue 2

✍ Peter Sewell 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 39 KB

This issue results from the 4th International Workshop on High-Level Concurrent Languages (HLCL 2000), held as a satellite event to PLI 2000 in Montreal, Canada, on September 20, 2000. The workshop is intended to bring together active researchers involved in the design, development, foundations, and

Preface: Volume 44, Issue 2

✍ Mark van den Brand; Didier Parigot 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 48 KB