Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics

Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantic...

Transitions and Trees: An Introduction to Structural Operational Semantics

Comparative Metric Semantics of Programming Languages Nondeterminism Recursion

Action Theory and Social Science: Some Formal Models by I. P?rn (English) Hardco

Texts in Theoretical Computer Science. an Eatcs Ser.: Modelling Distributed...

Enriched Meanings : Natural Language Semantics with Category Theory, Paperbac...

Action Theory and Social Science: Some Formal Models by I. P?rn (English) Hardco