Filters








823 Hits in 1.8 sec

A calculus of Kells

Jean-Bernard Stefani
2003 Electronical Notes in Theoretical Computer Science  
This paper introduces the 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 .  ... 
doi:10.1016/s1571-0661(05)80087-8 fatcat:x4m6bpvxkfbdxnzrphh53rgesm

The Kell Calculus: A Family of Higher-Order Distributed Process Calculi [chapter]

Alan Schmitt, Jean-Bernard Stefani
2005 Lecture Notes in Computer Science  
The 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  ... 
doi:10.1007/978-3-540-31794-4_9 fatcat:bbeuy3dikrbghnybn4kpaeeut4

The Kell Calculus: Operational Semantics and Type System [chapter]

Philippe Bidinger, Jean-Bernard Stefani
2003 Lecture Notes in Computer Science  
This paper 1 presents the 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).  ... 
doi:10.1007/978-3-540-39958-2_8 fatcat:odgtnlldj5glbhix45gshwsjoq

An Abstract Machine for the Kell Calculus [chapter]

Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani
2005 Lecture Notes in Computer Science  
The 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.  ... 
doi:10.1007/11494881_3 fatcat:y7zrjbkdfve77jtfvxvplbygsq

Component-Oriented Programming with Sharing: Containment is Not Ownership [chapter]

Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
2005 Lecture Notes in Computer Science  
Components and the 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.  ... 
doi:10.1007/11561347_26 fatcat:itruuuphebcczflrbmt3ktqhja

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, KellsCALCULUS 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

E. A. Whitman, H. M. Gay, L. M. Kells, S. E. Urner-W. B. Orange
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  ... 
doi:10.2307/2306339 fatcat:ow6duq3rszaurap6u377yn4mhm

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

W. B. Fite, L. M. Kells
1944 The American mathematical monthly  
1944] RECENT PUBLICATIONS 281 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.  ... 
doi:10.2307/2304310 fatcat:7keyrlg6uvewfdlt7pvxh4elmm

Components as Location Graphs [chapter]

Jean-Bernard Stefani
2015 Lecture Notes in Computer Science  
In this paper, we introduce 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  ... 
doi:10.1007/978-3-319-15317-9_1 fatcat:t724yiw3qrhx5kqnlsy2f3q3nu

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.  ... 

Oz/K

Michael Lienhardt, Alan Schmitt, Jean-Bernard Stefani
2007 Proceedings of the 6th international conference on Generative programming and component engineering - GPCE '07  
Specifically, we introduce in this paper OZ/K, 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  ... 
doi:10.1145/1289971.1289980 dblp:conf/gpce/LienhardtSS07 fatcat:4d3z5yq6gjdctgorwxofix5664

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]

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
2009 Lecture Notes in Computer Science  
In this paper, we study bisimulations in two simple higher-order calculi with 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.  ... 
doi:10.1007/978-3-642-00596-1_19 fatcat:wlxv6fozuzfbpozyzs3nlvncny
« Previous Showing results 1 — 15 out of 823 results