Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Hugo Vieira

A Process Calculus Analysis of Compensations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Related publications

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