ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
109
views
12
references
Top references
cited by
21
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,358
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
An improved failures model for communicating processes
other
Author(s):
S. D. Brookes
,
A. W. Roscoe
Publication date
(Online):
May 29 2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH title and first author match)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Efficacy of Communicating Science
Most cited references
12
Record
: found
Abstract
: not found
Article
: not found
A Theory of Communicating Sequential Processes
S. D. Brookes
,
C. Hoare
,
A. W. Roscoe
(1984)
0
comments
Cited
114
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A Proof System for Communicating Sequential Processes
Krzysztof R. Apt
,
Nissim and Willem P. de Roever
(1980)
0
comments
Cited
25
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Testing equivalences for processes
R. De Nicola
,
M. Hennessy
(1983)
0
comments
Cited
12
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1985
Publication date (Online):
May 29 2005
Pages
: 281-305
DOI:
10.1007/3-540-15670-4_14
SO-VID:
5104f990-3c4e-45c9-9927-1bcc7754a67c
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 281
An improved failures model for communicating processes
pp. 389
The ESTEREL synchronous programming language and its mathematical semantics
Similar content
3,358
Cold spot in the uniform Co-57 image may not necessarily be due to photomultiplier tube failure or variations in photomultiplier tube tuning: A technical note
Authors:
Anil Kumar Pandey
,
Sellam Karunanithi
,
Chetan D. Patel
…
Efficient Maintenance of AODV Routes in the Vehicular Communication Environment with Sparsely Placed Road Side Units
Authors:
Chanhyuk Cho
,
Sanghyun Ahn
Endocrine abnormalities associated with chronic renal failure.
Authors:
V Lim
,
S C Kathpalia
,
Olguín Henríquez
See all similar
Cited by
21
Specification-oriented semantics for Communicating Processes
Authors:
E. -R. Olderog
,
C. Hoare
A state-based approach to communicating processes
Authors:
Mark B. Josephs
Classification of Security Properties
Authors:
Riccardo Focardi
,
Roberto Gorrieri
See all cited by