Modeling Consensus in a Process Calculus

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-45187-7_26
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

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

Mathematics
Mathematics
2019English

A Process Calculus Analysis of Compensations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Modular Reasoning About Differential Privacy in a Probabilistic Process Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

PiDuce: A Process Calculus With Native XML Datatypes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

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

English

Stochastics Calculus: Malliavin Calculus in a Simplest Way

IOSR Journal of Mathematics
2013English

Business Process Model Similarity as a Proxy for Group Consensus

Lecture Notes in Business Information Processing
ControlSystems EngineeringInformation SystemsBusinessInternational ManagementSimulationManagementManagement Information SystemsModeling
2011English

Dag-Calculus: A Calculus for Parallel Computation

2016English

A Value-Oriented Iterative Service Modeling Process

Lecture Notes in Business Information Processing
ControlSystems EngineeringInformation SystemsBusinessInternational ManagementSimulationManagementManagement Information SystemsModeling
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy