Comparative Metric Semantics of Programming

Authors:
Franck Van Breugel;R. V. Book
Affiliations:
-;-
Venue:
Comparative Metric Semantics of Programming
Year:
1997

Citing 0
Cited 4

Bisimulation indexes and their applications

Theoretical Computer Science
Approximate Bisimilarity

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Security, Probability and Nearly Fair Coins in the Cryptographers' Café

FM '09 Proceedings of the 2nd World Congress on Formal Methods
Full Abstractness of a Metric Semantics for Action Refinement

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the Publisher:This is a book in theoretical computer science that explores the semantics of programming languages with topological methods. Aimed at research workers and advanced graduate students in computer science, the book presents an important contribution to the theory of programming languages ami the semantics that underlie their construction.