↓ Skip to main content

CONCUR '92

Overview of attention for book
Cover of 'CONCUR '92'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The polyadic π-calculus
  3. Altmetric Badge
    Chapter 2 Testing equivalence for mobile processes
  4. Altmetric Badge
    Chapter 3 Testing equivalence for Petri Nets with action refinement: Preliminary report
  5. Altmetric Badge
    Chapter 4 The problem of “weak bisimulation up to”
  6. Altmetric Badge
    Chapter 5 On the uniqueness of fixpoints modulo observation congruence
  7. Altmetric Badge
    Chapter 6 Verification of parallel systems via decomposition
  8. Altmetric Badge
    Chapter 7 Interface refinement in reactive systems
  9. Altmetric Badge
    Chapter 8 Concurrent testing of processes
  10. Altmetric Badge
    Chapter 9 A theory of processes with localities
  11. Altmetric Badge
    Chapter 10 Model checking for context-free processes
  12. Altmetric Badge
    Chapter 11 Bisimulation equivalence is decidable for all context-free processes
  13. Altmetric Badge
    Chapter 12 Distributed bisimularity is decidable for a class of infinite state-space systems
  14. Altmetric Badge
    Chapter 13 How vital is liveness? Verifying timing properties of reactive and hybrid systems
  15. Altmetric Badge
    Chapter 14 Preserving specific properties in program development
  16. Altmetric Badge
    Chapter 15 Sometimes ‘some’ is as good as ‘all’
  17. Altmetric Badge
    Chapter 16 The weakest compositional semantic equivalence preserving nexttime-less linear temporal logic
  18. Altmetric Badge
    Chapter 17 Propositional temporal logics and equivalences
  19. Altmetric Badge
    Chapter 18 The duality of time and information
  20. Altmetric Badge
    Chapter 19 Homology of higher dimensional automata
  21. Altmetric Badge
    Chapter 20 Posets for configurations!
  22. Altmetric Badge
    Chapter 21 On the semantics of Petri Nets
  23. Altmetric Badge
    Chapter 22 Structural operational specifications and trace automata
  24. Altmetric Badge
    Chapter 23 At-most-once message delivery A case study in algorithm verification
  25. Altmetric Badge
    Chapter 24 Games I/O automata play
  26. Altmetric Badge
    Chapter 25 Minimization of timed transition systems
  27. Altmetric Badge
    Chapter 26 Using CSP to verify a timed protocol over a fair medium
  28. Altmetric Badge
    Chapter 27 Timed Ethernet: Real-time formal specification of Ethernet
  29. Altmetric Badge
    Chapter 28 Implementing LOTOS specifications by communicating state machines
  30. Altmetric Badge
    Chapter 29 Discrete time process algebra
  31. Altmetric Badge
    Chapter 30 The silent step in time
  32. Altmetric Badge
    Chapter 31 Action transducers and timed automata
  33. Altmetric Badge
    Chapter 32 Compositional verification of probabilistic processes
  34. Altmetric Badge
    Chapter 33 Axiomatizing probabilistic processes: ACP with generative probabilities
  35. Altmetric Badge
    Chapter 34 Embeddings among concurrent programming languages
  36. Altmetric Badge
    Chapter 35 Logic of trace languages
  37. Altmetric Badge
    Chapter 36 Multiway synchronization verified with coupled simulation
  38. Altmetric Badge
    Chapter 37 Programming in a general model of synchronization
  39. Altmetric Badge
    Chapter 38 Operational and compositional semantics of synchronous automaton compositions
  40. Altmetric Badge
    Chapter 39 Towards a theory of actor computation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
22 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
CONCUR '92
Published by
Springer Berlin Heidelberg, January 1992
DOI 10.1007/bfb0084777
ISBNs
978-3-54-055822-4, 978-3-54-047293-3
Editors

W.R. Cleaveland

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user 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 22 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 22 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 9%
Lecturer 1 5%
Professor > Associate Professor 1 5%
Unknown 18 82%
Readers by discipline Count As %
Computer Science 4 18%
Unknown 18 82%