𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Mechanizing compositional reasoning for concurrent systems: some lessons

✍ Scribed by Sidi O. Ehmety; Lawrence C. Paulson

Book ID
105844889
Publisher
Springer
Year
2005
Tongue
English
Weight
140 KB
Volume
17
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An Introduction to Assertional Reasoning
An Introduction to Assertional Reasoning for Concurrent Systems
✍ Shankar A.U. πŸ“‚ Library πŸ“… 1993 🌐 English βš– 3 MB

This is a tutorial introduction to assertional reasoning based on temporal logic. The objective is to provide a working familiarity with the technique. We use a simple system model and a simple proof system, and we keep to a minimum the treatment of issues such as soundness, completeness, compositio

A compositional reasoning system for exe
A compositional reasoning system for executing nonmonotonic theories of reasoning
✍ J. Engelfriet; J. Treur πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 209 KB

In this paper the framework DESIRE for the design of compositional reasoning systems and multi-agent systems was applied to build a generic nonmonotonic reasoning system. The outcome is a general reasoning system that can be used to model different nonmonotonic reasoning formalisms and that can be e