✦ LIBER ✦

Preface: Volume 41, Issue 1

✍ Scribed by Graham Hutton

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 30 KB
Volume: 41
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80539-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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 41, Issue 3

✍ Alan Jeffrey 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 41 KB

Preface: Volume 44, Issue 1

✍ Andrea Corradini; Marina Lenisa; Ugo Montanari 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 47 KB

Preface: Volume 39, Issue 1

✍ Luca Aceto; Björn Victor 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 43 KB

Preface: Volume 13, Issue 1

✍ Abbas Edalat; Achim Jung; Klaus Keimel; Marta Kwiatkowska 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 32 KB

This volume contains the proceedings of the Third Workshop on Computation and Approximation (Comprox III). It was held in Birmingham, England, 11-13 September 1997, in combination with a Summer School. The series of Comprox workshops was part of a bilateral project between England and Germany, fund

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