مكتبة

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances

Authors : Romero-Hernández, David; Frutos Escrig, David;

Subjects: [INFO]Computer Science [cs]; [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]Berlin; Germany

Source: Lecture Notes in Computer Science ; 34th Formal Techniques for Networked and Distributed Systems (FORTE) ; https://hal.inria.fr/hal-01398019 ; 34th Formal Techniques for Networked and Distributed

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances

Authors : Romero-Hernández, David; Frutos Escrig, David;

Subjects: [INFO]Computer Science [cs]; [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]Berlin; Germany

Source: Lecture Notes in Computer Science ; 34th Formal Techniques for Networked and Distributed Systems (FORTE) ; https://hal.inria.fr/hal-01398019 ; 34th Formal Techniques for Networked and Distributed

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Metrics for Differential Privacy in Concurrent Systems

Authors : Xu, Lili; Chatzikokolakis, Konstantinos; Lin, Huimin ...

Subjects: differential privacy; probabilistic automata; bisimulation metricsBerlin; Germany

Source: Lecture Notes in Computer Science ; 34th Formal Techniques for Networked and Distributed Systems (FORTE) ; https://hal.inria.fr/hal-00879140 ; 34th Formal Techniques for Networked and Distributed

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Metrics for Differential Privacy in Concurrent Systems

Authors : Xu, Lili; Chatzikokolakis, Konstantinos; Lin, Huimin ...

Subjects: differential privacy; probabilistic automata; bisimulation metricsBerlin; Germany

Source: Lecture Notes in Computer Science ; 34th Formal Techniques for Networked and Distributed Systems (FORTE) ; https://inria.hal.science/hal-00879140 ; 34th Formal Techniques for Networked and Distributed

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Metrics for Differential Privacy in Concurrent Systems

Authors : Xu, Lili; Chatzikokolakis, Konstantinos; Lin, Huimin ...

Subjects: differential privacy; probabilistic automata; bisimulation metricsBerlin; Germany

Source: Lecture Notes in Computer Science ; 34th Formal Techniques for Networked and Distributed Systems (FORTE) ; https://inria.hal.science/hal-00879140 ; 34th Formal Techniques for Networked and Distributed

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

A framework for proof certificates in finite state exploration

Authors : Heath, Quentin; Miller, Dale;

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Berlin; Germany

Source: Proceedings of the Fourth Workshop on Proof eXchange for Theorem Proving ; https://inria.hal.science/hal-01240172 ; Proceedings of the Fourth Workshop on Proof eXchange for Theorem Proving, Aug 2015,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

A framework for proof certificates in finite state exploration

Authors : Heath, Quentin; Miller, Dale;

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Berlin; Germany

Source: Proceedings of the Fourth Workshop on Proof eXchange for Theorem Proving ; https://inria.hal.science/hal-01240172 ; Proceedings of the Fourth Workshop on Proof eXchange for Theorem Proving, Aug 2015,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

A framework for proof certificates in finite state exploration

Authors : Heath, Quentin; Miller, Dale;

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Berlin; Germany

Source: Proceedings of the Fourth Workshop on Proof eXchange for Theorem Proving ; https://hal.inria.fr/hal-01240172 ; Proceedings of the Fourth Workshop on Proof eXchange for Theorem Proving, Aug 2015,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

On the Step Branching Time Closure of Free-Choice Petri Nets

Authors : Mennicke, Stephan; Schicke-Uffmann, Jens-Wolfhard; Goltz, Ursula ...

Subjects: [INFO]Computer Science [cs]; [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]Berlin; Germany

Source: Lecture Notes in Computer Science ; 34th Formal Techniques for Networked and Distributed Systems (FORTE) ; https://hal.inria.fr/hal-01398018 ; 34th Formal Techniques for Networked and Distributed

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

On the Step Branching Time Closure of Free-Choice Petri Nets

Authors : Mennicke, Stephan; Schicke-Uffmann, Jens-Wolfhard; Goltz, Ursula ...

Subjects: [INFO]Computer Science [cs]; [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]Berlin; Germany

Source: Lecture Notes in Computer Science ; 34th Formal Techniques for Networked and Distributed Systems (FORTE) ; https://hal.inria.fr/hal-01398018 ; 34th Formal Techniques for Networked and Distributed

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

نتائج البحث

فلترة النتائج

Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances

Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances

Metrics for Differential Privacy in Concurrent Systems

Metrics for Differential Privacy in Concurrent Systems

Metrics for Differential Privacy in Concurrent Systems

A framework for proof certificates in finite state exploration

A framework for proof certificates in finite state exploration

A framework for proof certificates in finite state exploration

On the Step Branching Time Closure of Free-Choice Petri Nets

On the Step Branching Time Closure of Free-Choice Petri Nets

اتصل بنا

اتبع