Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Communicating Sequential Processes. The First 25 Years
Home
Publications
Communicating Sequential Processes. The First 25 Years
Communicating Sequential Processes. The First 25 Years
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 2005
book
Published by
Springer Science and Business Media LLC
in
Lecture Notes in Computer Science
https://doi.org/10.1007/b136154
Abstract
No abstract available
Keywords
CSP
COMMUNICATING SEQUENTIAL PROCESSES
CONCURRENCY
CONCURRENT PROGRAMMING
CONCURRENT SYSTEMS
DATA FLOW
FORMAL METHOD
FORMAL METHODS
LOGIC
MODEL CHECKING
PROCESS ALGEBRA
PROGRAM SEMANTICS
PROGRAMMING
PROGRAMMING LANGUAGE
SEMANTICS
Cited by 19 articles