scientific article; zbMATH DE number 2087132

MaRDI QIDQ4737797zbMATH OpenFDO

Authors Peter H. Welch

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2330/23300687.htm

Mathematics Subject Classification ID

Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1283472
• Towards a language for concurrent processes
• scientific article; zbMATH DE number 1479623
• scientific article; zbMATH DE number 1670511
• Teaching Concurrency Concepts to Freshmen

Cited in

(5)

• Efficient symbolic computation of process expressions
• Integrating a formal method into a software engineering process with UML and Java
• Teaching Concurrency Concepts to Freshmen
• Easy concurrency
• UTP, \textsf{\textit{Circus}}, and Isabelle

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737797)