Hostname: page-component-76fb5796d-skm99 Total loading time: 0 Render date: 2024-04-27T00:08:05.853Z Has data issue: false hasContentIssue false
  • English
  • Français

General conditions for full abstraction

Published online by Cambridge University Press:  10 November 2014

JOACHIM PARROW
JOACHIM PARROW*
Affiliation:
Department of Information Technology, Uppsala University, Uppsala, Sweden Email: joachim@it.uu.se
Get access Rights & Permissions [Opens in a new window]

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
Information
Mathematical Structures in Computer Science , Volume 26 , Issue 4 , May 2016 , pp. 655 - 657
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 473–492.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