- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Deciding orthogonal bisimulation ; volume:19 ; number:4 ; day:10 ; month:3 ; year:2007 ; pages:475-485 ; date:11.2007
Formal aspects of computing ; 19, Heft 4 (10.3.2007), 475-485, 11.2007
- Creator
-
Vu, Thuy Duong
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-007-0023-x
- URN
-
urn:nbn:de:101:1-2021081620092156193943
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:52 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
- Vu, Thuy Duong
- SpringerLink (Online service)
Other Objects (12)
Deciding to distrust
Deciding fast and slow
Deciding active structural completeness
DECIDING ON WHAT TO DECIDE
Deciding EA-equivalence via invariants
Deciding for others reduces loss aversion
Deciding for Others Reduces Loss Aversion
Deciding Properties of Contract-Signing Protocols
Response planning during question-answering: does deciding what to say involve deciding how to say it?
Tax evasion: cheating rationally or deciding emotionally?
Laws and customs. - Mode of deciding Causes. - ...
Deciding Substitutability of Services with Operating Guidelines
Deciding to distrust
Deciding fast and slow
Deciding active structural completeness
DECIDING ON WHAT TO DECIDE
Deciding EA-equivalence via invariants
Deciding for others reduces loss aversion
Deciding for Others Reduces Loss Aversion
Deciding Properties of Contract-Signing Protocols
Response planning during question-answering: does deciding what to say involve deciding how to say it?
Tax evasion: cheating rationally or deciding emotionally?
Laws and customs. - Mode of deciding Causes. - ...
Deciding Substitutability of Services with Operating Guidelines
Deciding to distrust
Deciding fast and slow
Deciding active structural completeness
DECIDING ON WHAT TO DECIDE
Deciding EA-equivalence via invariants
Deciding for others reduces loss aversion
Deciding for Others Reduces Loss Aversion
Deciding Properties of Contract-Signing Protocols
Response planning during question-answering: does deciding what to say involve deciding how to say it?
Tax evasion: cheating rationally or deciding emotionally?
Laws and customs. - Mode of deciding Causes. - ...