Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,134,352 papers from all fields of science
Search
Sign In
Create Free Account
Communicating sequential processes
Known as:
CSP
In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Actor model
Algebraic semantics (computer science)
Automata-based programming (Shalyto's approach)
Behavior tree
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Noninterference Security in Communicating Sequential Processes
P. Noce
Arch. Formal Proofs
2014
Corpus ID: 14645054
An extension of classical noninterference security for deterministic state machines, as introduced by Goguen and Meseguer and…
Expand
2007
2007
PyCSP - Communicating Sequential Processes for Python
J. Bjørndalen
,
B. Vinter
,
Otto J. Anshus
Communicating Process Architectures Conference
2007
Corpus ID: 73662537
The Python programming language is effective for rapidly writing programs and experimenting with them. It is increasingly being…
Expand
Review
2006
Review
2006
Attacks on PKM Protocols of IEEE 802.16 and Its Later Versions
Sen Xu
,
Chin-Tser Huang
International Symposium on Wireless Communication…
2006
Corpus ID: 12695083
Without physical boundaries, a wireless network faces many more vulnerabilities than a wired network does. IEEE 802.16 provides a…
Expand
2005
2005
Addressing non-functional properties in software architectures using ADL
Christopher van Eenoo
,
Osama Hylooz
,
K. Khan
2005
Corpus ID: 2559085
Architecture definition languages (ADLs) are used to specify high-level structural details of software systems. Many ADLs have…
Expand
Highly Cited
2002
Highly Cited
2002
Application and Theory of Petri Nets 2002
J. Esparza
,
C. Lakos
Lecture Notes in Computer Science
2002
Corpus ID: 20068122
Cyclic Communicating Processes: A Logical View . . . . . . . . . . . . . . . . .68 P. S. Thiagarajan Is the Die Cast for the…
Expand
Highly Cited
2002
Highly Cited
2002
CSP Networking for Java (JCSP.net)
P. Welch
,
Jo R. Aldous
,
Jon Foster
International Conference on Conceptual Structures
2002
Corpus ID: 42006905
JCSP is a library of Java packages providing an extended version of the CSP/occam model for Communicating Processes. The current…
Expand
2001
2001
The steam boiler in a unified theory of Z and CSP
J. Woodcock
,
Ana Cavalcanti
Proceedings Eighth Asia-Pacific Software…
2001
Corpus ID: 14649634
This paper presents a formalisation of the steam boiler problem using Circus, a unified theory of the formal specification…
Expand
1998
1998
Model-Based Vulnerability Analysis of Computer Systems
C. Ramakrishnan
,
R. Sekar
1998
Corpus ID: 16270908
Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to…
Expand
1986
1986
TCSP: Theory of Communicating Sequential Processes
E. Olderog
Advances in Petri Nets
1986
Corpus ID: 206613703
The operators and failure semantics of TCSP, the "Theory of Communicating Sequential Processes" initiated by Brookes, Hoare and…
Expand
1980
1980
Proof rules for Communicating Sequential Processes
G. Levin
1980
Corpus ID: 118471138
This thesis presents proof rules for an extension of Hoare's Communicating Sequential Processes (CSP). CSP is a notation for…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE