communicating sequential processes (Q1120460)

From Wikidata

Revision as of 09:36, 13 January 2022 by Sauer202 (talk | contribs) (‎Added [nn] label: sekvensielle kommunikasjonsprosessar)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

formal language for concurrent systems

• CSP

Language	Label	Description	Also known as
English	communicating sequential processes	formal language for concurrent systems	CSP

Statements

instance of

formal language

0 references

discoverer or inventor

Tony Hoare

0 references

Identifiers

Dictionary of Algorithms and Data Structures ID

communseqpro

0 references

csp

0 references

Freebase ID

/m/01ksbf

1 reference

stated in

Freebase Data Dumps

publication date

28 October 2013

Microsoft Academic ID

155214134

0 references

Quora topic ID

Communicating-Sequential-Processes

1 reference

stated in

Quora

Zhihu topic ID

20034970

0 references

 

Sitelinks

Wikipedia(15 entries)

• cawiki Processos comunicants seqüencials
• dewiki Communicating Sequential Processes
• elwiki Επικοινωνούσες Ακολουθιακές Διεργασίες
• enwiki Communicating sequential processes
• eswiki Comunicación de procesos secuenciales
• frwiki Communicating sequential processes
• hrwiki Slijedni priopćajni postupci
• jawiki Communicating Sequential Processes
• kowiki 커뮤니케이팅 시퀜셜 프로세스
• plwiki Communicating Sequential Processes
• ptwiki CSP (matemática)
• ruwiki Взаимодействующие последовательные процессы
• ukwiki Комунікуючі послідовні процеси
• zh_yuewiki 交談循序程式
• zhwiki 交談循序程式

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q1120460&oldid=1561535520"