Weak progressive forward simulation is necessary and sufficient for strong observational refinement
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 33rd International Conference on Concurrency Theory (CONCUR 2022), September 12-16, 2022, Warsaw, Poland, S. 31:1-31:23
- Bibliographic citation
-
Leibniz International Proceedings in Informatics (LIPIcs) ; 243
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2022
- Event
-
Veröffentlichung
- (where)
-
Dagstuhl
- (who)
-
Schloss Dagstuhl, Leibniz-Zentrum für Informatik
- (when)
-
2022
- Creator
- Contributor
-
Klin, Bartek
Lasota, Sławomir
Muscholl, Anca
- DOI
-
10.4230/LIPIcs.CONCUR.2022.31
- URN
-
urn:nbn:de:bvb:384-opus4-1094567
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:26 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Dongol, Brijesh
- Schellhorn, Gerhard
- Wehrheim, Heike
- Klin, Bartek
- Lasota, Sławomir
- Muscholl, Anca
- Universität Augsburg
- Schloss Dagstuhl, Leibniz-Zentrum für Informatik
Time of origin
- 2022
Other Objects (12)
Necessary and sufficient conditions for latent separability
Necessary and sufficient conditions for latent separability
Cluster Expansions: Necessary and Sufficient Convergence Conditions
Necessary and Sufficient Conditions for Extinction of One Species
Dynamic Normativity : Necessary and Sufficient Conditions for Value Alignment
A sufficient and necessary condition for $$\mathcal A}}$$ A -quasiaffinity
Interchanging a limit and an integral: necessary and sufficient conditions
User participation in information systems projects: necessary but not sufficient
Non-emptiness of the alpha-core: sufficient and necessary conditions
A Necessary and Sufficient Criterion for the Separability of Quantum State
The Green Paper on the EU asylum system: Necessary but not sufficient
Are Sufficient Statistics Necessary? Nonparametric Measurement of Deadweight Loss from Unemployment Insurance
Necessary and sufficient conditions for latent separability
Necessary and sufficient conditions for latent separability
Cluster Expansions: Necessary and Sufficient Convergence Conditions
Necessary and Sufficient Conditions for Extinction of One Species
Dynamic Normativity : Necessary and Sufficient Conditions for Value Alignment
A sufficient and necessary condition for $$\mathcal A}}$$ A -quasiaffinity
Interchanging a limit and an integral: necessary and sufficient conditions
User participation in information systems projects: necessary but not sufficient
Non-emptiness of the alpha-core: sufficient and necessary conditions
A Necessary and Sufficient Criterion for the Separability of Quantum State
The Green Paper on the EU asylum system: Necessary but not sufficient
Are Sufficient Statistics Necessary? Nonparametric Measurement of Deadweight Loss from Unemployment Insurance
Necessary and sufficient conditions for latent separability
Necessary and sufficient conditions for latent separability
Cluster Expansions: Necessary and Sufficient Convergence Conditions
Necessary and Sufficient Conditions for Extinction of One Species
Dynamic Normativity : Necessary and Sufficient Conditions for Value Alignment
A sufficient and necessary condition for $$\mathcal A}}$$ A -quasiaffinity
Interchanging a limit and an integral: necessary and sufficient conditions
User participation in information systems projects: necessary but not sufficient
Non-emptiness of the alpha-core: sufficient and necessary conditions
A Necessary and Sufficient Criterion for the Separability of Quantum State
The Green Paper on the EU asylum system: Necessary but not sufficient