↓ Skip to main content

Semantics: Foundations and Applications

Overview of attention for book
Cover of 'Semantics: Foundations and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 26 Predicate transformers and higher order logic
  3. Altmetric Badge
    Chapter 27 Trace Nets
  4. Altmetric Badge
    Chapter 28 Proving total correctness of programs in weak second-order logic
  5. Altmetric Badge
    Chapter 29 On blocks: locality and asynchronous communication
  6. Altmetric Badge
    Chapter 30 Semantics, orderings and recursion in the weakest precondition calculus
  7. Altmetric Badge
    Chapter 31 A categorical model for logic programs: Indexed monoidal categories
  8. Altmetric Badge
    Chapter 32 A categorical view of process refinement
  9. Altmetric Badge
    Chapter 33 Compact metric information systems
  10. Altmetric Badge
    Chapter 34 Asynchronous rendez-vous in distributed logic programming
  11. Altmetric Badge
    Chapter 35 New semantic tools for logic programming
  12. Altmetric Badge
    Chapter 36 Temporal preconditions of recursive procedures
  13. Altmetric Badge
    Chapter 37 Towards an epistemic approach to reasoning about concurrent programs
  14. Altmetric Badge
    Chapter 38 A fully abstract model for a nonuniform concurrent language with parameterization and locality
  15. Altmetric Badge
    Chapter 39 SPCF: its model, calculus, and computational power
  16. Altmetric Badge
    Chapter 40 Infinite behaviour and fairness in concurrent constraint programming
  17. Altmetric Badge
    Chapter 41 Full abstraction and unnested recursion
  18. Altmetric Badge
    Chapter 42 On the action semantics of concurrent programming languages
  19. Altmetric Badge
    Chapter 43 Layered predicates
  20. Altmetric Badge
    Chapter 44 A hyperdoctrinal view of concurrent constraint programming
  21. Altmetric Badge
    Chapter 45 On the foundations of final semantics: Non-standard sets, metric spaces, partial orders
  22. Altmetric Badge
    Chapter 46 Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithms
  23. Altmetric Badge
    Chapter 47 Some issues in the semantics of facile distributed programming
  24. Altmetric Badge
    Chapter 48 On the relation between unity properties and sequences of states
  25. Altmetric Badge
    Chapter 49 Expressiveness results for process algebras
  26. Altmetric Badge
    Chapter 50 Compiling joy into Silicon: An exercise in applied structural operational semantics
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
3 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Semantics: Foundations and Applications
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-56596-5
ISBNs
978-3-54-056596-3, 978-3-54-047595-8
Editors

Bakker, J. W., Roever, W. -P., Rozenberg, G.

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 3 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 67%
Unknown 1 33%
Readers by discipline Count As %
Computer Science 1 33%
Engineering 1 33%
Unknown 1 33%