Pages that link to "Item:Q673973"
From MaRDI portal
The following pages link to Observational specifications and the indistinguishability assumption (Q673973):
Displaying 6 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- Undecidable classical properties of observers (Q861653) (← links)
- Observational proofs by rewriting. (Q1607227) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- (Q3707384) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)