Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,219,785 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.
Review
2013
Review
2013
Autonomy Architecture for a Raven-class Telescope with Space Situational Awareness Applications
Ryan D. Coder
,
M. Holzinger
2013
Corpus ID: 29892918
This paper investigates possible autonomy architecture designs of a Raven-class telescope as applied to the tracking and high…
Expand
2012
2012
Exception Handling in Communicating Sequential Processes
M. Larsen
2012
Corpus ID: 61603603
Exceptions can occur in all software, however, to be reliable, a program should be able to handle it. Exception handling has been…
Expand
2010
2010
The abstract semantics of tasks and activity in the discovery method
C. A. Fernández
2010
Corpus ID: 36171479
Developing software is a complex activity supported by software engineering, a discipline that is still immature in some respects…
Expand
2007
2007
Contribution à une démarche de vérification formelle d'architectures logicielles. (Contribution to a process for formal verification of software architectures)
Mohamed Graiet
2007
Corpus ID: 20127114
Cette these propose une Demarche de Verification Formelle d'Architectures Logicielles : DVFAL. La demarche DVFAL supporte divers…
Expand
2003
2003
Generative design/visionary variations: Morphogenetic processes for complex future identities
C. Soddu
2003
Corpus ID: 151622657
1993
1993
Specification of Hybrid Systems in CRP
R. Shyamasundar
International Conference on Algebraic Methodology…
1993
Corpus ID: 36979207
In this paper, we show that the paradigm of Communicating ReactiIJe Processes (CRP) unifying asynchronous and perfectly…
Expand
1988
1988
Concurrent programming language—LISPTALK
Chang Li
SIGP
1988
Corpus ID: 21241654
LISPTALK is a concurrent language which is based on both LISP and CSP. It is a process-oriented language. Besides the idea of…
Expand
1986
1986
COSY: Its Relation to Nets and CSP
E. Best
Advances in Petri Nets
1986
Corpus ID: 33827164
COSY is an abstract programming notation ‘between’ Petri nets and concurrent programs. It allows to analyse the interrelationship…
Expand
1981
1981
Specifying and proving properties of sentinel processes
K. Ramamritham
,
R. Keller
International Conference on Software Engineering
1981
Corpus ID: 15264808
This paper presents a technique for specifying and verifying properties of “sentinels”—a high-level language construct for…
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