Peter H. Welch

Available identifiers

zbMath Open welch.peter-hMaRDI QIDQ1707344

List of research outcomes

Publication	Date of Publication	Type
The symbiosis of concurrency and verification: teaching and case studies	2018-03-29	Paper
Communicating Sequential Processes. The First 25 Years	2005-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4737797	2004-08-11	Paper
Emulating digital logic using transputer networks (very high parallelism \(=\) simplicity \(=\) performance)	1989-01-01	Paper
Algorithm AS 188: Estimation of the Order of Dependence in Sequences	1983-01-01	Paper
Parallel assignment revisited	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4182475	1975-01-01	Paper

Research outcomes over time

This page was built for person: Peter H. Welch