A Generic Process Calculus Approach to Relaxed-Memory Consistency Palle Raabjerg Tjark Weber

Source URL: user.it.uu.se

• Process calculi
• Theoretical computer science
• Process calculus
• Mathematics
• -calculus
• Calculus
• Lambda calculus
• Computer science
• Actor model and process calculi history
• Join-calculus

Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Spatial Calculus of Looping Sequences 1 Roberto Barbuti,2 Andrea Maggiolo

Source URL: pages.di.unipi.it

• Theoretical computer science
• Computer programming
• Declarative programming
• Logic in computer science
• Formal languages
• Brane
• Quantum field theory
• String theory
• Rewriting
• Monad
• Substitution

Bisimulation Congruences in the Calculus of Looping Sequences Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, and Angelo Troina Dipartimento di Informatica, Universit` a di Pisa

Source URL: pages.di.unipi.it

• Theoretical computer science
• Logic in computer science
• Software engineering
• Computing
• Formal languages
• Formal methods
• Bisimulation
• -calculus
• Monad
• Petri net
• Rewriting
• Lac operon

Calculus, heat flow and curvature-dimension bounds in metric measure spaces Luigi Ambrosio (Scuola Normale Superiore, Pisa, Italy) March 3,

Source URL: eta.impa.br

• Mathematical analysis
• Mathematics
• Analysis
• Metric geometry
• Differential topology
• Measure theory
• Vector calculus
• Vector field
• Transportation theory
• Riemannian manifold
• Lipschitz continuity
• Metric space

Index calculus in class groups of non-hyperelliptic curves of genus 3 from a full cost perspective – Extended Abstract – Claus Diem University of Leipzig

Source URL: www.hyperelliptic.org

• Abstract algebra
• Algebra
• Cryptography
• Finite fields
• Algebraic curves
• Group theory
• Index calculus algorithm
• Algorithm
• Hyperelliptic curve
• XTR
• Hyperelliptic curve cryptography
• Elliptic curve primality

SageMathT M Advice For Calculus Tuan A. Le and Hieu D. Nguyen Rowan University

Source URL: users.rowan.edu

• Mathematical software
• Application software
• Software
• SageMath
• Calculus
• Computer algebra system
• Integral
• Wolfram Mathematica
• Antiderivative
• Sage
• Logarithm
• Lebesgue integration

A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1

Source URL: www.lix.polytechnique.fr

• Dynamical systems
• Systems science
• Systems theory
• Differential equations
• Control theory
• Hybrid system
• Metabolism
• Ariadne
• Verification
• Nonlinear system
• Coq
• Coenzyme Q10

ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

Source URL: www.doc.ic.ac.uk

• Mathematical logic
• Mathematics
• Theoretical computer science
• Lambda calculus
• Deductive reasoning
• Natural deduction
• Proof theory
• Symbol
• System F
• -calculus
• Holomorphic functional calculus
• Security type system

Computing Routes and Delay Bounds for the Network-on-Chip of the Kalray MPPA2 Processor 4th Workshop on Network Calculus (WoNeCa-4) Marc Boyer (ONERA) Benoˆıt Dupont de Dinechin (Kalray) Amaury Graillat (Verimag, Karla

Source URL: disco.cs.uni-kl.de

p:/User/FOOTER/aWABASH/CLASSES/Calculus/CALC1/FinalF10.dvi

Source URL: persweb.wabash.edu