↓ Skip to main content

Logics and Models of Concurrent Systems

Overview of attention for book
Attention for Chapter 4: An Axiomatic Semantics of Concurrent Programming Languages
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
39 Dimensions

Readers on

mendeley
13 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
An Axiomatic Semantics of Concurrent Programming Languages
Chapter number 4
Book title
Logics and Models of Concurrent Systems
Published by
Springer Berlin Heidelberg, January 1985
DOI 10.1007/978-3-642-82453-1_4
Book ISBNs
978-3-64-282455-5, 978-3-64-282453-1
Authors

Leslie Lamport, Lamport, Leslie

Editors

Krzysztof R. Apt

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 13 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Austria 2 15%
Australia 2 15%
United States 1 8%
Unknown 8 62%

Demographic breakdown

Readers by professional status Count As %
Other 3 23%
Student > Bachelor 2 15%
Researcher 2 15%
Professor > Associate Professor 2 15%
Student > Master 1 8%
Other 2 15%
Unknown 1 8%
Readers by discipline Count As %
Computer Science 11 85%
Agricultural and Biological Sciences 1 8%
Unknown 1 8%