↓ Skip to main content

Recent Trends in Algebraic Development Techniques

Overview of attention for book
Cover of 'Recent Trends in Algebraic Development Techniques'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 AGILE: Software Architecture for Mobility
  3. Altmetric Badge
    Chapter 2 A Coinductive Calculus of Component Connectors
  4. Altmetric Badge
    Chapter 3 An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint
  5. Altmetric Badge
    Chapter 4 MultiMedia Instruction in Safe and Secure Systems
  6. Altmetric Badge
    Chapter 5 Zero, Connected, Empty
  7. Altmetric Badge
    Chapter 6 Zero, Connected, Empty: An Essay after a Cantata
  8. Altmetric Badge
    Chapter 7 Type Checking Parametrised Programs and Specifications in ASL + FPC
  9. Altmetric Badge
    Chapter 8 Pre-nets, Read Arcs and Unfolding: A Functorial Presentation
  10. Altmetric Badge
    Chapter 9 Coreflective Concurrent Semantics for Single-Pushout Graph Grammars
  11. Altmetric Badge
    Chapter 10 Completeness Results for Fibred Parchments
  12. Altmetric Badge
    Chapter 11 Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs
  13. Altmetric Badge
    Chapter 12 Conditional Circular Coinductive Rewriting with Case Analysis
  14. Altmetric Badge
    Chapter 13 Verifying Generative Casl Architectural Specifications
  15. Altmetric Badge
    Chapter 14 Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens
  16. Altmetric Badge
    Chapter 15 The Coinductive Approach to Verifying Cryptographic Protocols
  17. Altmetric Badge
    Chapter 16 Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages
  18. Altmetric Badge
    Chapter 17 Approach-Independent Structuring Concepts for Rule-Based Systems
  19. Altmetric Badge
    Chapter 18 Notions of Behaviour and Reachable-Part and Their Institutions
  20. Altmetric Badge
    Chapter 19 Combining Specification Formalisms in the ‘General Logic’ of Multialgebras
  21. Altmetric Badge
    Chapter 20 On How Distribution and Mobility Interfere with Coordination
  22. Altmetric Badge
    Chapter 21 Foundations of Heterogeneous Specification
  23. Altmetric Badge
    Chapter 22 Algebraic-Coalgebraic Specification in CoCasl
  24. Altmetric Badge
    Chapter 23 Translating Logics for Coalgebras
  25. Altmetric Badge
    Chapter 24 Presenting and Combining Inference Systems
  26. Altmetric Badge
    Chapter 25 Monad-Independent Dynamic Logic in HasCasl
  27. Altmetric Badge
    Chapter 26 Preserving Properties in System Redesign: Rule-Based Approach
Attention for Chapter 22: Algebraic-Coalgebraic Specification in CoCasl
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
1 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.
Chapter title
Algebraic-Coalgebraic Specification in CoCasl
Chapter number 22
Book title
Recent Trends in Algebraic Development Techniques
Published by
Springer, Berlin, Heidelberg, September 2002
DOI 10.1007/978-3-540-40020-2_22
Book ISBNs
978-3-54-020537-1, 978-3-54-040020-2
Authors

Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 100%
Readers by discipline Count As %
Computer Science 1 100%