Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David de Frutos-Escrig
New Bisimulation Semantics for Distributed Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Weak Bisimulation for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Distributed Semantics and Implementation for Systems With Interaction and Priority
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Using Bisimulation Proof Techniques for the Analysis of Distributed Abstract Machines
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Bisimulation Relations for Dynamical, Control, and Hybrid Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Bisimulation-Based Concept Learning for Information Systems in Description Logics
Vietnam Journal of Computer Science
An Efficient Fully Symbolic Bisimulation Algorithm for Non-Deterministic Systems
International Journal of Foundations of Computer Science
Computer Science
