✦ LIBER ✦

ASPfun : A typed functional active object calculus

✍ Scribed by Ludovic Henrio; Florian Kammüller; Bianca Lutz

Book ID: 113890147
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 594 KB
Volume: 77
Category: Article
ISSN: 0167-6423
DOI: 10.1016/j.scico.2010.12.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Concurrent Object Calculus: Reduction

A Concurrent Object Calculus: Reduction and Typing

✍ Andrew D. Gordon; Paul D. Hankin 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 904 KB

General recursive functions in a very si

General recursive functions in a very simply interpretable typed λ-calculus

✍ G. Jacopini; G. Sontacchi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 526 KB

Typed ?-calculus at work: A correctness

Typed ?-calculus at work: A correctness proof of Jones's parallelisation transformation on concurrent objects

✍ Sangiorgi, Davide 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 118 KB

Cliff Jones has proposed transformations between concrete programs and general transformation rules that increase concurrency in a system of objects, and has raised the challenge of how to prove their validity. We present a proof of correctness of the hardest of Jones's concrete transformations. The

Connection between the order of fraction

Connection between the order of fractional calculus and fractional dimensions of a type of fractal functions

✍ Yongshun Liang; Weiyi Su 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 67 KB

A current-type PWM rectifier with active

A current-type PWM rectifier with active damping function

✍ Sato, Y.; Kataoka, T. 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 844 KB

Alternative objective function to predic

Alternative objective function to predict reasonable muscle forces using a Hill-type muscle model

✍ Son, Jongsang; Lee, Hoyoon; Kim, Jongman; Kim, Youngho 📂 Article 📅 2014 🏛 BioMed Central 🌐 English ⚖ 152 KB