Mathematical Foundation of Programming Semantics: International Conference, Manh
67,24 €
Concrete categories and injectivity. - Fixed points in process algebras with internal actions. - A fully abstract semantics and a proof system for an algol-like language with sharing. - Comparing categories of domains.
Jetzt bei Ebay:
