✦ LIBER ✦

Muller message-passing automata and logics

✍ Scribed by Benedikt Bollig; Dietrich Kuske

Book ID: 113641754
Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 232 KB
Volume: 206
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2008.03.010

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A modal logic for message passing proces

A modal logic for message passing processes

✍ M. Hennessy, X. Liu 📂 Article 📅 1995 🏛 Springer-Verlag 🌐 English ⚖ 960 KB

Weighted automata and weighted logics

✍ Manfred Droste; Paul Gastin 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 406 KB

Pipeline implementation of cellular auto

Pipeline implementation of cellular automata for structural design on message-passing multiprocessors

✍ Shahriar Setoodeh; David B. Adams; Zafer Gürdal; Layne T. Watson 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 853 KB

The inherent structure of cellular automata is trivially parallelizable and can directly benefit from massively parallel machines in computationally intensive problems. This paper presents both block synchronous and block pipeline (with asynchronous message passing) parallel implementations of cellu

Weighted Picture Automata and Weighted L

Weighted Picture Automata and Weighted Logics

✍ Ina Fichtner 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 735 KB

Automata and memorizable logic

✍ S. B. Pogrebinskii 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 396 KB

Product of partition logics, orthoalgebr

Product of partition logics, orthoalgebras, and automata

✍ Anatolij Dvurečenskij; Karl Svozil 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 728 KB