↓ Skip to main content
What is this page? Embed badge

Logic and Algebra of Specification

Overview of attention for book
Cover of 'Logic and Algebra of Specification'

Table of Contents

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

Citations

dimensions_citation
17 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
So far, Dimensions has found 17 publications that cite this research output.

17

The most recent citing publications are shown below. View all 17 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.