SHMARQL

communicating sequential processes

<http://www.wikidata.org/entity/Q1120460>

formal language for concurrent systems
rdfs:label
"communicating sequential processes"@en
skos:altLabel
"CSP"@en
schema:description
"formal language for concurrent systems"@en
schema:dateModified "2026-05-11T16:07:15+00:00"^^xsd:dateTime
schema:version 2489824447
wikibase:identifiers 7
wikibase:sitelinks 16
wikibase:statements 9
p:P10283 wd:statement/Q1120460-FADDE254-1FB5-49EB-B9F9-2689D5BFA38F
p:P31 wd:statement/Q1120460-2af6e3ae-4518-56c1-b228-9371be007b95
p:P3417 wd:statement/Q1120460-46977218-ACF2-437F-9FF7-BF986785EC61
p:P3553 wd:statement/Q1120460-2A168659-19F2-4398-BEA5-E75C9C00EA05
p:P5106 wd:statement/Q1120460-3C74C37A-1A9C-4FF2-8668-738479F721C9
wd:statement/Q1120460-BEC67C1E-99A1-469E-8395-9CBD8115B98A
p:P61 wd:statement/Q1120460-801adb9c-49dd-8f2e-2e6f-88fb910db71e
p:P6366 wd:statement/Q1120460-771B3C57-E1DA-4A05-B293-9873D21F7281
p:P646 wd:statement/Q1120460-A2427D6E-C788-48FD-905D-B6EAE88A8432
p:direct-normalized/P6366 <https://makg.org/entity/155214134>
wdt:P10283 "C155214134"
wdt:P31 formal language
wdt:P3417 "Communicating-Sequential-Processes"
wdt:P3553 "20034970"
wdt:P5106 "communseqpro"
"csp"
wdt:P61 Tony Hoare
wdt:P6366 "155214134"
wdt:P646 "/m/01ksbf"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata