Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
A characterization of partial metrizability: domains are quantifiable
Theoretical Computer Science - Topology in computer science
The correspondence between partial metrics and semivaluations
Theoretical Computer Science - Mathematical foundations of programming semantics
A causality interface for deadlock analysis in dataflow
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
CPO semantics of timed interactive actor networks
Theoretical Computer Science
The order-theoretic duality and relations between partial metrics and local equalities
Fuzzy Sets and Systems
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
An intelligent theory of cost for partial metric spaces
AGI'12 Proceedings of the 5th international conference on Artificial General Intelligence
On quasi-metric aggregation functions and fixed point theorems
Fuzzy Sets and Systems
Hi-index | 0.01 |