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
55
views
3
references
Top references
cited by
26
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,356
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
A timed model for communicating sequential processes
Author(s):
G.M. Reed
,
A.W. Roscoe
Publication date
Created:
June 1988
Publication date
(Print):
June 1988
Journal:
Theoretical Computer Science
Publisher:
Elsevier BV
Read this article at
ScienceOpen
Publisher
Further versions
open (via crossref license)
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH title and first author match)
Powered by
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Efficacy of Communicating Science
Most cited references
3
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
Processes and the denotational semantics of concurrency
J.W. de Bakker
,
J.I. Zucker
(1982)
0
comments
Cited
23
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Connections between two theories of concurrency Metric spaces and synchronization trees
William Golson
,
William C. Rounds
(1983)
0
comments
Cited
1
times
– based on
0
reviews
Review now
Bookmark
All references
Author and article information
Journal
Title:
Theoretical Computer Science
Abbreviated Title:
Theoretical Computer Science
Publisher:
Elsevier BV
ISSN (Print):
03043975
Publication date Created:
June 1988
Publication date (Print):
June 1988
Volume
: 58
Issue
: 1-3
Pages
: 249-261
Article
DOI:
10.1016/0304-3975(88)90030-8
SO-VID:
15472448-1453-4699-a88b-02620d3dee2c
Copyright ©
© 1988
License:
http://www.elsevier.com/tdm/userlicense/1.0/
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
3,356
Efficient Perovskite Solar Cells Fabricated Through CsCl-Enhanced PbI
2
Precursor via Sequential Deposition
Authors:
Qi Li
,
Yicheng Zhao
,
Rui Fu
…
Tantalum–Zirconium Co‐Doped Metal–Organic Frameworks Sequentially Sensitize Radio–Radiodynamic–Immunotherapy for Metastatic Osteosarcoma
Authors:
Tao Li
,
Mingquan Gao
,
Zifei Wu
…
Sequential de novo centromere formation and inactivation on a chromosomal fragment in maize.
Authors:
Yalin Liu
,
Handong Su
,
Junling Pang
…
See all similar
Cited by
25
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
Authors:
Marco Bernardo
,
Roberto Gorrieri
A framework for comparing models of computation
Authors:
E.A. Lee
,
A. Sangiovanni-Vincentelli
FDR3 — A Modern Refinement Checker for CSP
Authors:
Thomas Gibson-Robinson
,
Philip Armstrong
,
Alexandre Boulgakov
…
See all cited by
Most referenced authors
17
C Hoare
S. Brookes
W. A. Roscoe
See all reference authors