↓ Skip to main content

CONCUR'93

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The lambda-calculus with multiplicities
  3. Altmetric Badge
    Chapter 2 A multiset semantics for the pi-calculus with replication
  4. Altmetric Badge
    Chapter 3 Model checking mobile processes
  5. Altmetric Badge
    Chapter 4 A practical technique for process abstraction
  6. Altmetric Badge
    Chapter 5 Modular completeness for Communication Closed Layers
  7. Altmetric Badge
    Chapter 6 The linear time — Branching time spectrum II
  8. Altmetric Badge
    Chapter 7 CONCUR'93
  9. Altmetric Badge
    Chapter 8 On the ill-timed but well-caused
  10. Altmetric Badge
    Chapter 9 On the reduction of chocs bisimulation to π-calculus bisimulation
  11. Altmetric Badge
    Chapter 10 A theory of bisimulation for the π-calculus
  12. Altmetric Badge
    Chapter 11 Bisimulation equivalence is decidable for basic parallel processes
  13. Altmetric Badge
    Chapter 12 A pi-calculus semantics for an object-based design notation
  14. Altmetric Badge
    Chapter 13 Programming with broadcasts
  15. Altmetric Badge
    Chapter 14 Interpreting broadcast communication in SCCS
  16. Altmetric Badge
    Chapter 15 Proof systems for message-passing process algebras
  17. Altmetric Badge
    Chapter 16 Refinement and decomposition of value-passing action systems
  18. Altmetric Badge
    Chapter 17 Partial-order methods for temporal verification
  19. Altmetric Badge
    Chapter 18 Model construction for implicit specifications in modal logic
  20. Altmetric Badge
    Chapter 19 Branching time temporal logic and amorphous tree automata
  21. Altmetric Badge
    Chapter 20 A generalized event structure for the Muller unfolding of a safe net
  22. Altmetric Badge
    Chapter 21 Domains of higher-dimensional automata
  23. Altmetric Badge
    Chapter 22 Non interleaving process algebra
  24. Altmetric Badge
    Chapter 23 Quiescence, fairness, testing, and the notion of implementation
  25. Altmetric Badge
    Chapter 24 Two fully abstract models for UNITY
  26. Altmetric Badge
    Chapter 25 Transformations preserving properties and properties preserved by transformations in fair transition systems (extended abstract)
  27. Altmetric Badge
    Chapter 26 Minimal memory schedules for dataflow networks
  28. Altmetric Badge
    Chapter 27 Networks of real-time processes
  29. Altmetric Badge
    Chapter 28 Loop parallelization in the polytope model
  30. Altmetric Badge
    Chapter 29 ACSR: An algebra of communicating shared resources with dense time and priorities
  31. Altmetric Badge
    Chapter 30 An Elimination Theorem for regular behaviours with integration
  32. Altmetric Badge
    Chapter 31 A linear local model checking algorithm for CTL
  33. Altmetric Badge
    Chapter 32 Local event structures and Petri nets
  34. Altmetric Badge
    Chapter 33 A congruence theorem for structured operational semantics with predicates
  35. Altmetric Badge
    Chapter 34 From CML to process algebras
  36. Altmetric Badge
    Chapter 35 Types for dyadic interaction
  37. Altmetric Badge
    Chapter 36 Principal typing schemes in a polyadic π-calculus
  38. Altmetric Badge
    Chapter 37 Structured operational semantics for process algebras and equational axiom systems
Attention for Chapter 6: The linear time — Branching time spectrum II
Altmetric Badge

Mentioned by

twitter
14 X users

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
78 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
The linear time — Branching time spectrum II
Chapter number 6
Book title
CONCUR'93
Published by
Springer Berlin Heidelberg, August 1993
DOI 10.1007/3-540-57208-2_6
Book ISBNs
978-3-54-057208-4, 978-3-54-047968-0
Authors

R. J. van Glabbeek, van Glabbeek, R. J.

X Demographics

X Demographics

The data shown below were collected from the profiles of 14 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 78 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 1 1%
Taiwan 1 1%
Australia 1 1%
Austria 1 1%
Unknown 74 95%

Demographic breakdown

Readers by professional status Count As %
Researcher 8 10%
Student > Ph. D. Student 4 5%
Professor 2 3%
Student > Bachelor 2 3%
Lecturer > Senior Lecturer 1 1%
Other 2 3%
Unknown 59 76%
Readers by discipline Count As %
Computer Science 15 19%
Engineering 2 3%
Mathematics 1 1%
Unknown 60 77%