Amanote Research

Amanote Research

    RegisterSign In

A Process Calculus Analysis of Compensations

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-00945-7_6
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2009

Authors
Luís CairesCarla FerreiraHugo Vieira
Publisher

Springer Berlin Heidelberg


Related search

Modeling Consensus in a Process Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

PiDuce: A Process Calculus With Native XML Datatypes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Fractional Calculus as a Simple Tool for Modeling and Analysis of Long Memory Process in Industry

Mathematics
Mathematics
2019English

A Domain-Theoretic Model for a Higher-Order Process Calculus

English

Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Understanding Homeopathy Through Compensations

International Journal of Complementary & Alternative Medicine
2018English

Structural Analysis of Salivary Calculus Part 2: A Case of a Salivary Calculus Contained a Limb of a Shrimp.

Japanese Journal of Oral and Maxillofacial Surgery
1990English

Region Analysis and a Π-Calculus With Groups

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Formal Analysis of a Calculus for WSNs From Quality Perspective

Science of Computer Programming
Software
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy