A Metric Characterization of Fair Computations in CCS

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-15198-2_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Full Abstraction for Fair Testing in CCS (Expanded Version)

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Local Metric Characterization of Banach Spaces

Colloquium Mathematicum
Mathematics
1981English

Metric Characterization of Elliptic Space

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1946English

A Measurement-Based X-Ray Source Model Characterization for CT Dosimetry Computations

Journal of Applied Clinical Medical Physics
InstrumentationNuclear MedicineRadiologyRadiationImagingMedicine
2015English

Characterization of Some Zero-Dimensional Separable Metric Spaces

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1981English

Static VS Dynamic Reversibility in CCS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A Unification ofG-Metric, Partial Metric, Andb-Metric Spaces

Abstract and Applied Analysis
Applied MathematicsAnalysis
2014English

A Mechanism for CCS in the Post-Paris Era

2019English

A Fair Trial?

BMJ
1984English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy