- Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently
2024/06/06 by Sergio Calo, Anders Jonsson, Calo, Sergio +8 · 2 voices · 3 citations
Medicine · Neuroscience · #Algorithm #Bisimulation #Cardiac Arrhythmias and Treatments #Computer science #Distributed computing #EEG and Brain-Computer Interfaces #Neurological disorders and treatments #Theoretical computer science
- Modal Characterisations of Behavioural Pseudometrics
2015/09/11 by Yuxin Deng, Deng, Yuxin, Wenjie Du +3 · 1 citation
Computer Science · Engineering · Mathematics · #68Q85 #Accessibility relation #Advanced Algebra and Logic #Algebra over a field #Algorithm #Artificial intelligence #Bisimulation #Class (philosophy) #Computer science #Description logic #Discrete mathematics #Dynamic logic (digital electronics) #Engineering #Expansive #F.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Mathematics #Metric (unit) #Modal #Modal logic #Modal μ-calculus #Multimodal logic #Normal modal logic #Physics #Probabilistic logic #Pure mathematics #State (computer science) #Theoretical computer science #acm:68Q85 #cs.LO #msc:68Q85
- Profunctors, open maps and bisimulation
2005/05/27 by Gian Luca Cattani, Glynn Winskel · 1 citation
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Homotopy and Cohomology in Algebraic Topology #Bisimulation #Functor #Mathematics #Algebra over a field #Semantics (computer science) #Pure mathematics #Programming language #Computer science #Discrete mathematics
- Domain theory for concurrency
2004/02/27 by Mikkel Nygaard, Glynn Winskel · 2 citations
Computer Science · Mathematics · #Algebra over a field #Bisimulation #Computer science #Concurrency #Denotational semantics #Discrete mathematics #Domain theory #Formal Methods in Verification #Linear logic #Logic, programming, and type systems #Mathematical proof #Mathematics #Nondeterministic algorithm #Operational semantics #Programming language #Pure mathematics #Semantics (computer science) #Soundness #Theoretical computer science #semigroups and automata theory
- Algebraic laws for nondeterminism and concurrency
1985/01/01 by Matthew Hennessy, Robin Milner · 46 citations
Computer Science · Mathematics · #Algebra over a field #Bisimulation #Computer science #Concurrency #Congruence (geometry) #Denotational semantics #Extension (predicate logic) #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Nondeterministic algorithm #Operational semantics #Programming language #Pure mathematics #Recursion (computer science) #Semantics (computer science) #Simple (philosophy) #Theoretical computer science