Split-2 Bisimilarity Has a Finite Axiomatization Over CCS With Hennessy's Merge

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-1(1:3)2005
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

CCS With Hennessy's Merge Has No Finite Equational Axiomatization

BRICS Report Series
2003English

A Ground-Complete Axiomatization of Stateless Bisimilarity Over Linda

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2015English

Scaling-Up Split-Merge McMc With Locality Sensitive Sampling (LSS)

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Split-And-Merge Tweak in Cross Entropy Clustering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Non-Linear Merge and Split Method for Image Clustering

Journal of the Japan society of photogrammetry and remote sensing
2004English

Evidential Split-And-Merge: Application to Object-Based Image Analysis

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2018English

Trading Off Subtask Dispersion and Response Time in Split-Merge Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Complete Axiomatization of a First-Order Temporal Logic Over Trace Systems

DIMACS Series in Discrete Mathematics and Theoretical Computer Science
1997English

Segmentation of Thermogram Based on Region Based Technique Using Split and Merge Method

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy