✦ LIBER ✦

Decidable properties for monadic abstract state machines

✍ Scribed by D. Beauquier

Book ID: 103811439
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 266 KB
Volume: 141
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2005.12.002

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Guarded Fragment for Abstract State Ma

A Guarded Fragment for Abstract State Machines

✍ Antje Nowack 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 1021 KB

Typed Abstract State Machines for data-i

Typed Abstract State Machines for data-intensive applications

✍ Klaus-Dieter Schewe; Jane Zhao 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 243 KB

The decidability of a mapping problem fo

The decidability of a mapping problem for generalized sequential machines with final states

✍ Kenneth B. Salomon 📂 Article 📅 1975 🏛 Elsevier Science 🌐 English ⚖ 947 KB

The following problem is shown to be decidable for arbitrary regular sets R i and Rz : Does there exist a generalized sequential machine with final states which maps R 1 onto R2 ? In the development of the solution a graphical interpretation of bounded and unbounded regular sets is presented. Also,

Predicate Abstraction and Refinement for

Predicate Abstraction and Refinement for Model Checking VHDL State Machines

✍ Mustapha Bourahla; Mohamed Benmohamed 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 182 KB

ChemInform Abstract: Porous Li4Ti5O12 An

ChemInform Abstract: Porous Li4Ti5O12 Anode Material Synthesized by One-Step Solid State Method for Electrochemical Properties Enhancement.

✍ Chi-Yuan Lin; Jenq-Gong Duh 📂 Article 📅 2011 🏛 John Wiley and Sons ⚖ 20 KB

ChemInform Abstract: Software Review: PI

ChemInform Abstract: Software Review: PISYSTEM for Windows Version 3.1. A Program for the Calculation of Excited State Properties Including Color of π Electron-Based Molecules

✍ M. G. HUTCHINGS 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 29 KB