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

TAPSOFT'93: Theory and Practice of Software Development

Overview of attention for book
Cover of 'TAPSOFT'93: Theory and Practice of Software Development'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 52 Goldilocks and the three specifications
  3. Altmetric Badge
    Chapter 53 On relating some models for concurrency
  4. Altmetric Badge
    Chapter 54 Compositionality results for different types of parameterization and parameter passing in specification languages
  5. Altmetric Badge
    Chapter 55 Proving ground confluence and inductive validity in constructor based equational specifications
  6. Altmetric Badge
    Chapter 56 Associative-commutative discrimination nets
  7. Altmetric Badge
    Chapter 57 Algebraic specification and development in geometric modeling
  8. Altmetric Badge
    Chapter 58 A case study in transformational design of concurrent systems
  9. Altmetric Badge
    Chapter 59 Yeast: A case study for a practical use of formal methods
  10. Altmetric Badge
    Chapter 60 Verification and comparison of transition systems
  11. Altmetric Badge
    Chapter 61 Constraining interference in an object-based design method
  12. Altmetric Badge
    Chapter 62 From π-calculus to higher-order π-calculus — and back
  13. Altmetric Badge
    Chapter 63 Hyperedge replacement with rendezvous
  14. Altmetric Badge
    Chapter 64 True concurrency semantics for a linear logic programming language with broadcast communication
  15. Altmetric Badge
    Chapter 65 A general framework for modular implementations of modular system specifications
  16. Altmetric Badge
    Chapter 66 Specifications can make programs run faster
  17. Altmetric Badge
    Chapter 67 Application of the composition principle to unity-like specifications
  18. Altmetric Badge
    Chapter 68 Trees, ordinals and termination
  19. Altmetric Badge
    Chapter 69 When is a functional tree transduction deterministic?
  20. Altmetric Badge
    Chapter 70 Automata on infinite trees with counting constraints
  21. Altmetric Badge
    Chapter 71 Directed column-convex polyominoes by recurrence relations
  22. Altmetric Badge
    Chapter 72 Object organisation in software environments for formal methods
  23. Altmetric Badge
    Chapter 73 Monads, indexes and transformations
  24. Altmetric Badge
    Chapter 74 A technique for specifying and refining TCSP processes by using guards and liveness conditions
  25. Altmetric Badge
    Chapter 75 Applications of type theory
  26. Altmetric Badge
    Chapter 76 Feature automata and recognizable sets of feature trees
  27. Altmetric Badge
    Chapter 77 About the theory of tree embedding
  28. Altmetric Badge
    Chapter 78 Linear unification of higher-order patterns
  29. Altmetric Badge
    Chapter 79 A theory of requirements capture and its applications
  30. Altmetric Badge
    Chapter 80 Exception handling and term labelling
  31. Altmetric Badge
    Chapter 81 Gate splitting in LOTOS specifications using abstract interpretation
  32. Altmetric Badge
    Chapter 82 Constructing systems as object communities
  33. Altmetric Badge
    Chapter 83 Term rewriting in CTΣ
  34. Altmetric Badge
    Chapter 84 Optimal reductions in interaction systems
  35. Altmetric Badge
    Chapter 85 Optimal solutions to pattern matching problems
  36. Altmetric Badge
    Chapter 86 Testing for a conformance relation based on acceptance
  37. Altmetric Badge
    Chapter 87 Testability of a communicating system through an environment
  38. Altmetric Badge
    Chapter 88 TAPSOFT'93: Theory and Practice of Software Development
  39. Altmetric Badge
    Chapter 89 On the Ehrenfeucht-Fraïssé game in theoretical computer science
  40. Altmetric Badge
    Chapter 90 On asymptotic probabilities in logics that capture DSPACE(log n ) in presence of ordering
  41. Altmetric Badge
    Chapter 91 A propositional dense time logic
  42. Altmetric Badge
    Chapter 92 La Vraie Forme d'un Arbre
  43. Altmetric Badge
    Chapter 93 Model checking using net unfoldings
  44. Altmetric Badge
    Chapter 94 Reachability analysis on distributed executions
  45. Altmetric Badge
    Chapter 95 Property preserving abstractions under parallel composition
  46. Altmetric Badge
    Chapter 96 Types as parameters
  47. Altmetric Badge
    Chapter 97 Polymorphic type inference with overloading and subtyping
  48. Altmetric Badge
    Chapter 98 Type reconstruction with recursive types and atomic subtyping
  49. Altmetric Badge
    Chapter 99 (Un)expected path lengths of asymmetric binary search trees
  50. Altmetric Badge
    Chapter 100 Trie size in a dynamic list structure
  51. Altmetric Badge
    Chapter 101 A fully parallel calculus of synchronizing processes
  52. Altmetric Badge
    Chapter 102 Generic systolic arrays: A methodology for systolic design
Attention for Chapter 60: Verification and comparison of transition systems
Altmetric Badge

Readers on

mendeley
9 Mendeley
Summary
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
Verification and comparison of transition systems
Chapter number 60
Book title
TAPSOFT'93: Theory and Practice of Software Development
Published by
Springer, Berlin, Heidelberg, April 1993
DOI 10.1007/3-540-56610-4_60
Book ISBNs
978-3-54-056610-6, 978-3-54-047598-9
Authors

André Arnold, Arnold, André

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Switzerland 1 11%
Unknown 8 89%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 33%
Student > Master 2 22%
Other 1 11%
Professor 1 11%
Student > Doctoral Student 1 11%
Other 2 22%
Readers by discipline Count As %
Computer Science 10 111%

This page is provided by Altmetric.