✦ LIBER ✦

Minimal refinements of specifications in modal and temporal logics

✍ Scribed by Nikos Gorogiannis; Mark Ryan

Publisher: Springer
Year: 2007
Tongue: English
Weight: 41 KB
Volume: 19
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-007-0038-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Minimal refinements of specifications in

Minimal refinements of specifications in modal and temporal logics

✍ Nikos Gorogiannis; Mark Ryan 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 552 KB

Minimal refinements of specifications in

Minimal refinements of specifications in model and termporal logics

✍ Nikos Gorogiannis; Mark Ryan 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 569 KB

Composing and Refining Dense Temporal Lo

Composing and Refining Dense Temporal Logic Specifications

✍ Antonio Cau 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 206 KB

Specification of communicating processes

Specification of communicating processes: temporal logic versus refusals-based refinement

✍ Gavin Lowe 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 253 KB

Analyzing completeness of axiomatic func

Analyzing completeness of axiomatic functional systems for temporal × modal logics

✍ Alfredo Burrieza; Inmaculada P. de Guzmán; Emilio Muñoz-Velasco 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 196 KB 👁 1 views

## Abstract In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective

Real-time refinement in Manna and Pnueli

Real-time refinement in Manna and Pnueli's temporal logic

✍ David Scholefield 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 876 KB