✦ LIBER ✦

Semantics and the objects of assertion

✍ Scribed by Dilip Ninan

Publisher: Springer Netherlands
Year: 2010
Tongue: English
Weight: 338 KB
Volume: 33
Category: Article
ISSN: 0165-0157
DOI: 10.1007/s10988-011-9084-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inductive assertions and operational sem

Inductive assertions and operational semantics

✍ J. Strother Moore 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 323 KB

Non-sentential assertions and semantic e

Non-sentential assertions and semantic ellipsis

✍ Robert J. Stainton 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 949 KB

A semantic analysis of conditional asser

A semantic analysis of conditional assertion

✍ Ruth Manor 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 870 KB

Assert and negate revisited: Modal seman

Assert and negate revisited: Modal semantics for UML sequence diagrams

✍ David Harel; Shahar Maoz 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 720 KB

Rewriting Semantics of Meta-Objects and

Rewriting Semantics of Meta-Objects and Composable Distributed Services

✍ G. Denker; J. Meseguer; C. Talcott 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 189 KB

Communication between distributed objects may have to be protected against random failures and malicious attacks; also, communication timeliness may be essential or highly desired. Therefore, a distributed application often has to be extended with communication services providing some kind of fault-

Denotational semantics of object specifi

Denotational semantics of object specification

✍ Amílcar Sernadas; Cristina Sernadas; Carlos Caleiro 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 450 KB