French
Logic and Algebra of Specification
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Distributed Action Systems
-
Altmetric BadgeChapter 2 Lectures on:Classical Proofs as Programs
-
Altmetric BadgeChapter 3 Linear Logic: A Survey
-
Altmetric BadgeChapter 4 Some proof-theoretic aspects of logic programming
-
Altmetric BadgeChapter 5 The Safety-Progress Classification
-
Altmetric BadgeChapter 6 The Polyadic π-Calculus: a Tutorial
-
Altmetric BadgeChapter 7 An Introduction to Action Semantics
-
Altmetric BadgeChapter 8 Minimal Logic for Computable Functions
-
Altmetric BadgeChapter 9 Infinite Synchronous Concurrent Algorithms The Algebraic Specification and Verification of a Hardware Stack
-
Altmetric BadgeChapter 10 Four Lectures on Primitive Recursion
-
Altmetric BadgeChapter 11 Structured Specifications: Syntax, Semantics and Proof Calculus