✦ LIBER ✦

A Symbolic Semantics for a Calculus for Service-Oriented Computing

✍ Scribed by Rosario Pugliese; Francesco Tiezzi; Nobuko Yoshida

Book ID: 108127103
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 591 KB
Volume: 241
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.06.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A semantic service discovery approach fo

A semantic service discovery approach for ubiquitous computing

✍ Reen-Cheng Wang; Yao-Chung Chang; Ruay-Shiung Chang 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 241 KB

A Sequent Calculus for Automated Reasoni

A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems

✍ Gianna Cioni; Attilio Colagrossi; Alfonso Miola 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 680 KB

In this paper the problem of reasoning on properties of mathematical objects is considered in the context of symbolic computation. Automated reasoning mechanisms are proposed as a new basic computing tool in a symbolic computation system. These mechanisms are aimed to support the semantical correctn

A calculus for services innovation

✍ James M. Tien; Daniel Berg 📂 Article 📅 2007 🏛 SP Systems Engineering Society of China 🌐 English ⚖ 528 KB

A computing service for engineers

📂 Article 📅 1965 🏛 Elsevier Science 🌐 English ⚖ 266 KB

A Quantum Game Semantics for the Measure

A Quantum Game Semantics for the Measurement Calculus

✍ Yannick Delbecque 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 320 KB

A Calculus for “environment-aware” compu

A Calculus for “environment-aware” computation

✍ Viviana Bono; Ferruccio Damiani; Paola Giannini 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 208 KB