𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Data-abstraction refinement: a game semantic approach

✍ Scribed by Adam Bakewell; Aleksandar Dimovski; Dan R. Ghica; Ranko Lazić

Publisher
Springer
Year
2010
Tongue
English
Weight
626 KB
Volume
12
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated Compositional Abstraction Refi
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach
✍ Sagar Chaki; Joël Ouaknine; Karen Yorav; Edmund Clarke 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 992 KB

The state space explosion problem in model checking remains the chief obstacle to the practical verification of real-world distributed systems. We attempt to address this problem in the context of verifying concurrent (message-passing) C programs against safety specifications. More specifically, we

A semantic web approach to biological pa
A semantic web approach to biological pathway data reasoning and integration
✍ Kei-Hoi Cheung; Peishen Qi; David Tuck; Michael Krauthammer 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 696 KB

This paper describes the use of semantic web technology and Description Logic (DL) for facilitating the integration of molecular pathway data, which is illustrated by an Web Ontology Language (OWL)-based transformation of a more complex pathway structure (Reactome) into a simpler one (HPRD). The pro