A Bisimulation for Dynamic Sealing

ACM SIGPLAN Notices
doi 10.1145/982962.964015
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Dynamic Sealing Using Magnetorheological Fluids

Physical Review Applied
AstronomyPhysics
2018English

The Axial Vacuum Dynamic Sealing Technology for Rough Surface

International Journal of Control and Automation
ControlSystems Engineering
2015English

Weak Bisimulation for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Deformation and Dynamic Response of Abdominal Aortic Aneurysm Sealing

Scientific Reports
Multidisciplinary
2017English

Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

History Preserving Bisimulation for Contextual Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Neighbourhood Contingency Bisimulation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

New Bisimulation Semantics for Distributed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Bisimulation Metrics for Continuous Markov Decision Processes

SIAM Journal on Computing
MathematicsComputer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy