CSP is a retract of CCS
type: Item
instance of: scholarly article
title: CSP is a retract of CCS
zbMATH Open document ID: 1191.68439
author: Jifeng He
author: Tony Hoare
published in: Theoretical Computer Science
publication date: 2010-03-29T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5687500
zbMATH Keywords: unifying theories of programming
zbMATH Keywords: process algebra
zbMATH Keywords: CCS
zbMATH Keywords: CSP
zbMATH Keywords: retraction
describes a project that uses: Zing
MaRDI profile type: Publication
full work available at URL: j.tcs.2009.12.012
OpenAlex ID: W2167972869
cites work: Observation equivalence as a testing equivalence
cites work: Bisimulation can't be traced
cites work: Q3664417
cites work: A Theory of Communicating Sequential Processes
cites work: Algebra of communicating processes with abstraction
cites work: Testing equivalence as a bisimulation equivalence
cites work: Power simulation and its relation to traces and failures refinement
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Unifying theories for logic programming
cites work: Responsiveness and stable revivals
cites work: Bisimulation through probabilistic testing
cites work: Q4248252
cites work: Barbed bisimulation
cites work: Q3725532
cites work: Computer Aided Verification
cites work: Verified software: Theories, tools, experiments. First IFIP TC 2/WG 2.3 conference, VSTTE 2005, Zurich, Switzerland, October 10--13, 2005. Revised selected papers and discussions
cites work: Data Types as Lattices
cites work: Notes on the methodology of CCS and CSP
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
DOI: 10.1016/J.TCS.2009.12.012
description: scientific article; zbMATH DE number 5687500