<--- Back to Details
First PageDocument Content
Process calculi / Theoretical computer science / Mathematics / Software engineering / Formal methods / -calculus / Join-calculus / Lambda calculus / Ambient calculus / Inverse trigonometric functions / Calculus / Join-pattern
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

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

Download Document from Source Website

File Size: 46,00 KB

Share Document on Facebook

Similar Documents

Poster: Secure Computations of Trigonometric and Inverse Trigonometric Functions Fattaneh Bayatbabolghani∗ , Marina Blanton† , Mehrdad Aliasgari‡ and Michael Goodrich§ ∗ Computer  Science and Engineering, Univer

Poster: Secure Computations of Trigonometric and Inverse Trigonometric Functions Fattaneh Bayatbabolghani∗ , Marina Blanton† , Mehrdad Aliasgari‡ and Michael Goodrich§ ∗ Computer Science and Engineering, Univer

DocID: 1xTCk - View Document

INVERSE FUNCTION RULE AND CURVE SKETCHING  5 minute review. Briefly cover the inverse trigonometric functions and their derivatives (and remind students that that sin−1 x does not mean sin1 x ). d

INVERSE FUNCTION RULE AND CURVE SKETCHING 5 minute review. Briefly cover the inverse trigonometric functions and their derivatives (and remind students that that sin−1 x does not mean sin1 x ). d

DocID: 1tLTe - View Document

meijerG, a package for simplification of Meijer’s G function Victor S. Adamchik Wolfram Research Inc. former address : Byelorussian University, Minsk, Byelorussia

meijerG, a package for simplification of Meijer’s G function Victor S. Adamchik Wolfram Research Inc. former address : Byelorussian University, Minsk, Byelorussia

DocID: 1rrU5 - View Document

Certified polynomial approximations for D-finite functions  Thomas Grégoire September 5, 2012

Certified polynomial approximations for D-finite functions Thomas Grégoire September 5, 2012

DocID: 1rqLR - View Document

Trigonometric Graphs This resource sheet is designed for use with the Casio fx-CG20. However it can be used with the Casio fx-9860GII or the Casio fx-9750GII although there may be some differences in the key sequences ne

Trigonometric Graphs This resource sheet is designed for use with the Casio fx-CG20. However it can be used with the Casio fx-9860GII or the Casio fx-9750GII although there may be some differences in the key sequences ne

DocID: 1rqxP - View Document