Hostname: page-component-78c5997874-mlc7c Total loading time: 0 Render date: 2024-11-09T12:35:58.387Z Has data issue: false hasContentIssue false

General conditions for full abstraction

Published online by Cambridge University Press:  10 November 2014

JOACHIM PARROW*
Affiliation:
Department of Information Technology, Uppsala University, Uppsala, Sweden Email: [email protected]

Abstract

Full abstraction, i.e. that a function preserves equivalence from a source to a target, has been used extensively as a correctness criterion for mappings between models of computation. I here show that with fixed equivalences, fully abstract functions almost always exist. Also, with the function and one of the equivalences fixed the other equivalence can almost always be found.

Type
Paper
Copyright
Copyright © Cambridge University Press 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Beauxis, R., Palamidessi, C. and Valencia, F. D. (2008) On the asynchronous nature of the asynchronous pi-calculus. In: Degano, P., De Nicola, R. and Meseguer, J. (eds.) Concurrency, Graphs and Models. Springer Lecture Notes in Computer Science 5065 473492.Google Scholar
Gorla, D. and Nestmann, U. (2014) Full abstraction for expressiveness: History, myths and facts. In this issue of Mathematical Structures in Computer Scinece.Google Scholar