Observational specifications and the indistinguishability assumption

Authors:
Gilles Bernot;Michel Bidoit;Teodor Knapik
Affiliations:
LIENS, Paris, France;LIENS, Paris, France;LIENS, Paris, France
Venue:
Theoretical Computer Science
Year:
1995

Citing 0
Cited 4

On implementing behavioral rewriting

Proceedings of the 2002 ACM SIGPLAN workshop on Rule-based programming
Web-Based Support for Cooperative Software Engineering

Annals of Software Engineering
Hiding More of Hidden Algebra

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Behavioral abstraction is hiding information

Theoretical Computer Science - Selected papers of CMCS'03

Quantified Score

Hi-index	5.23

Visualization

Abstract