Join-calculus - PDFSEARCH.IO - Document Search Engine

Join-calculus
Results: 13

#	Item
1	Translating Orc Features into Petri nets and the Join Calculus? Roberto Bruni1 , Hern´an Melgratti2 , and Emilio Tuosto3 1 Computer Science Department, University of Pisa, Italy. Add to Reading List Source URL: www.di.unipi.it - Date: 2006-07-05 06:22:44
2	In Cabernet Radicals Workshop, October 2002 http://www.wischik.com/lu/research/ New directions in implementing the pi calculus Lucian Wischik, University of Bologna 30th August 2002 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-10-02 04:22:36 Process calculi Theoretical computer science Mathematics Software engineering Formal methods -calculus Join-calculus Lambda calculus Ambient calculus Inverse trigonometric functions Calculus Join-pattern
3	process calculi “process calculus” means two things: Process Calculi for web services Add to Reading List Source URL: www.wischik.com Language: English - Date: 2003-03-13 09:50:06 Process calculi Theoretical computer science Computing Software Formal methods Process calculus -calculus Bisimulation Join-calculus Reconfigurability Microsoft BizTalk Server Tea
4	QOCO: A Query Oriented Data Cleaning System with Oracles Moria BergmanTova Milo 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2015-11-18 10:19:43 Data management Information retrieval Computing Relational model Database theory Relational database Tuple Database Relation Join Monotonic query Tuple relational calculus
5	The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-09-03 06:29:14 Theoretical computer science Computability theory Process calculi -calculus Lambda calculus Process calculus Integration by substitution Limit of a function Substitution Heat equation Join-pattern
6	Architecture-neutral parallelism via the Join Calculus Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-07-20 07:44:41
7	Pointcuts and Advice in Higher-Order Languages David B. Tucker and Shriram Krishnamurthi Department of Computer Science Brown University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:24 Aspect-oriented programming AspectJ Join point Pointcut Lambda calculus Closure Continuation Denotational semantics Grammatical aspect Software development Software Aspect-oriented software development
8	A formal basis for the MC# programming language (Extended Abstract) Yury Serdyuk Program Systems Institute of Russian Academy of Sciences, Pereslavl-Zalessky, Russia Add to Reading List Source URL: www.mcsharp.net Language: English - Date: 2007-08-05 07:34:46 Process calculi Inter-process communication Actor model Microsoft Research Parallel computing Join-calculus Polyphonic C sharp Message passing Objective-C Computing Concurrent computing Computer programming
9	Pe a rso n Lightbook Mathematics Methods Western Australia 11 Join our preview group to ﬁnd out ﬁrst about this product: www.pearson.com.au/secondary/seniorAC Chapter 1 Introduction to CASenabled technology Add to Reading List Source URL: www.pearson.com.au Language: English - Date: 2015-02-23 19:06:34 Polynomial Trigonometric functions Derivative Logarithm Normal distribution Calculus Matrix Mathematical analysis Mathematics Special functions
10	Visit the Legacy Exhibit Booth Devoted to Student-Centered, Inquiry-Based Learning • Join the Academy of InquiryBased Learning — the networking Add to Reading List Source URL: www.legacyrlmoore.org Language: English - Date: 2013-11-05 16:27:51 Calculus Moore method Geography of the United States Geography of North America Mathematics education Baltimore Chesapeake Bay