A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
A calculus of Kells

2003
*
Electronical Notes in Theoretical Computer Science
*

This paper introduces the

doi:10.1016/s1571-0661(05)80087-8
fatcat:x4m6bpvxkfbdxnzrphh53rgesm
*Kell**calculus*,*a*new process*calculus*that retains the original insights*of*the M-*calculus*(local actions, higher-order processes and programmable membranes) in*a*much simpler ... The*calculus*is shown expressive enough to provide*a*direct encoding*of*several recent distributed process calculi such as Mobile Ambients and the Distributed Join*calculus*. stefani still requires*a*rendez-vous ... b*a*Q]] The*Kell**calculus*: syntax and semantics Syntax The syntax*of*the*Kell**calculus*is given in Figure 1 . ...##
###
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi
[chapter]

2005
*
Lecture Notes in Computer Science
*

The

doi:10.1007/978-3-540-31794-4_9
fatcat:bbeuy3dikrbghnybn4kpaeeut4
*Kell**calculus*is built around*a*π-*calculus*core, and follows five design principles which are essential for*a*foundational model*of*distributed and mobile programming: hierarchical localities, local ... This paper presents the*Kell**calculus*,*a*family*of*distributed process calculi, parameterized by languages for input patterns, that is intended as*a*basis for studying component-based distributed programming ... Acknowledgments This paper has benefited from several discussions on the*Kell**calculus*, over the past year, with David Teller, Daniel Hirschkoff, Tom Hirschowitz, Matthew Hennessy, Vasco Vasconcelos, Eugenio ...##
###
The Kell Calculus: Operational Semantics and Type System
[chapter]

2003
*
Lecture Notes in Computer Science
*

This paper 1 presents the

doi:10.1007/978-3-540-39958-2_8
fatcat:odgtnlldj5glbhix45gshwsjoq
*Kell**calculus*,*a*new distributed process*calculus*that retains the original insights*of*the Seal*calculus*(local actions, process replication) and*of*the M-*calculus*(higher-order ... The*calculus*is equipped with*a*type system that enforces*a*unicity property for location names that is crucial for the efficient implementation*of*the*calculus*. ... We call this new*calculus*the*Kell**calculus*(the word "*kell*" is*a*variation on the word "cell", and denotes*a*locality or locus*of*computation). ...##
###
An Abstract Machine for the Kell Calculus
[chapter]

2005
*
Lecture Notes in Computer Science
*

The

doi:10.1007/11494881_3
fatcat:y7zrjbkdfve77jtfvxvplbygsq
*Kell**Calculus*is*a*family*of*process calculi intended as*a*basis for studying distributed component-based programming. ... This paper presents an abstract machine for an instance*of*this*calculus*,*a*proof*of*its correctness, and*a*prototype OCaml implementation. ... construct*of*the*Kell**calculus*. ...##
###
Component-Oriented Programming with Sharing: Containment is Not Ownership
[chapter]

2005
*
Lecture Notes in Computer Science
*

Components and the

doi:10.1007/11561347_26
fatcat:itruuuphebcczflrbmt3ktqhja
*Kell**calculus*After giving an informal description*of*the*Kell**calculus*[18] , which is our starting point, we present the main elements*of**a*concrete component model, the Fractal model ... The*Kell**calculus*The*Kell**calculus*is*a*higher-order process*calculus*with hierarchical localities (called*kells*), local communication, and locality passivation. ... The example*of*Fig.1 may then be represented in the*Kell**calculus*with sharing as in Fig.3 . Passivation in the new*calculus*takes place just as in the*Kell**calculus*without sharing. ...##
###
Page 81 of The American Mathematical Monthly Vol. 61, Issue 1
[page]

1954
*
The American Mathematical Monthly
*

Naval Academy
This combination

*of**calculus*and analytic geometry in*a*single text results in (*a*) better assimilation*of*both subjects by students, (b)*a*saving*of*time, and (c) early equipment*of*students ... Eminently teachable,*Kells*’*CALCULUS*provides*a*strong ap- peal to the student’s intuition to make abstract concepts clear and meaningful. ° Professor*Kells*’ unique spiral approach classifies and unifies ...##
###
Analytic Geometry and Calculus

1951
*
The American mathematical monthly
*

YEATON
Analytic Geometry and

doi:10.2307/2306339
fatcat:ow6duq3rszaurap6u377yn4mhm
*Calculus*. H. M. Gay. New York, McGraw-Hill, 1950. vii+485 pages+Tables, Answers, and Index. $5.00. Analytic Geometry and*Calculus*. L. M.*Kells*. ... The Gay and the*Kells*as- sume that all necessary preparation has been made in algebra and trigonometry; the Urner-Orange though written for students with*a*background*of*inter- mediate algebra and trigonometry ...##
###
Page 207 of National Union Catalog Vol. 11, Issue
[page]

1948
*
National Union Catalog
*

QA303.K46 1949 517 49-4992*

*Kells*, Lyman Morse, 1888-*Calculus*. (2d ed., London, Allen & Unwin ,1951, 508 p. illus. 23 cm. 1.*Calculus*. ... Caleul 516. 50-12600 New York, Prentice-*Kells*, Lyraan Morse, 1888-*Calculus*. 2d ed. New York, Prentice-Hall, 1949. xii, 508 p. illus. port. 24cm. (Prentice-Hall mathematics series) 1.*Calculus*. ...##
###
Calculus

1944
*
The American mathematical monthly
*

1944] RECENT PUBLICATIONS 281

doi:10.2307/2304310
fatcat:7keyrlg6uvewfdlt7pvxh4elmm
*Calculus*. By L. M.*Kells*. New York, Prentice-Hall, Inc., 1943. 7+509 pages. $3.75. This is the kind*of*book any one who knows Professor*Kells*would expect from him. ... There is an abundance*of*instructive illustrative examples which add much to the value*of*the book as*a*text for the student beginning the study*of*the*Calculus*. ...##
###
Components as Location Graphs
[chapter]

2015
*
Lecture Notes in Computer Science
*

In this paper, we introduce

doi:10.1007/978-3-319-15317-9_1
fatcat:t724yiw3qrhx5kqnlsy2f3q3nu
*a*model*of*computation, called G-*Kells*, which meets these requirements. We develop our model at*a*more concrete ... This paper presents*a*process*calculus*framework for modeling ubiquitous computing systems and dynamic component-based structures as location graphs. ... CAB:*a*process*calculus*interpretation*of*BIP One way to understand the G-*Kells*model we introduce in the next section, is to see it as*a*higher-order, dynamic extension*of*the CAB model [13] ,*a*process ...##
###
Page 283 of The American Mathematical Monthly Vol. 50, Issue 4
[page]

1943
*
The American Mathematical Monthly
*

An Introduction to the Mathematical Treat- ment

*of*Engineering Problems By THEoporE V. KARMAN, California Institute*of*Technology, and Maurice*A*. ... KRATH- WOHL, Illinois Institute*of*Technology. 347 pages, $2.50*Calculus*Differential and Integral*Calculus*By Howarp M. Bacon, Stanford University. 771 pages, $3.75 The*Calculus*By H. H. ...
Specifically, we introduce in this paper OZ/K,

doi:10.1145/1289971.1289980
dblp:conf/gpce/LienhardtSS07
fatcat:4d3z5yq6gjdctgorwxofix5664
*a*kernel programming language, that adds to the OZ computation model*a*notion*of*locality borrowed from the*Kell**calculus*. ... We use the locality concept as*a*form*of*component that serves as*a*unit*of*modularity,*of*isolation, and*of*passivation. ... Technically, the main contributions*of*this paper are: (i) the introduction*of*an extension*of*the*kell*concept from the*Kell**calculus*[26] and the*Kell**calculus*with sharing [16] , with the ability ...##
###
Page 577 of The American Mathematical Monthly Vol. 58, Issue 8
[page]

1951
*
The American Mathematical Monthly
*

YEATON
Analytic Geometry and

*Calculus*. H. M. Gay. New York, McGraw-Hill, 1950. vii+485 pages+Tables, Answers, and Index. $5.00. Analytic Geometry and*Calculus*. L. M.*Kells*. ... The Gay and the*Kells*as- sume that all necessary preparation has been made in algebra and trigonometry; the Urner-Orange though written for students with*a*background*of*inter- mediate algebra and trigonometry ...##
###
Page 368 of National Union Catalog Vol. 24, Issue
[page]

1958
*
National Union Catalog
*

NNC

*Kells*, Lyman Morse, 1888- Analytic geometry and*calculus*. Cliffs, N.J., Prentice-Hall ,1958) viii, 623 p. illus. 24cm. (Prentice-Hall mathematics series) 1.Geometry, Analytic. 2.*Calculus*. ... VviU Englewood*Kells*, Lyman Morse, 1888-*Calculus*. 2ded. Englewood Cliffs, N.J., Prentice-Hall (1956, 508 p. illus. (Prentice-Hall mathematics series) ocl*Kells*, Lyman Morse, 1888- College algebra. ...##
###
Normal Bisimulations in Calculi with Passivation
[chapter]

2009
*
Lecture Notes in Computer Science
*

In this paper, we study bisimulations in two simple higher-order calculi with

doi:10.1007/978-3-642-00596-1_19
fatcat:wlxv6fozuzfbpozyzs3nlvncny
*a*passivation operator, that allows the interruption and thunkification*of**a*running process. ... In particular, effective coinductive characterizations*of*barbed congruence, such as the notion*of*normal bisimulation developed by Sangiorgi for the higherorder π-*calculus*, are difficult to obtain. ... Acknowledgments We are grateful to Samuel Hym, Jorge*A*. Pérez, and Davide Sangiorgi for their helpful comments on an earlier draft*of*the paper. ...
« Previous

*Showing results 1 — 15 out of 823 results*