Serialising parallel processes in a hardware/software partioning context

DOI10.1007/3-540-45251-6_19MaRDI QIDQ2764147zbMATH OpenFDO

Authors Leila Silva, Augusto Sampaio, Geraint Jones

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45251-6_19

zbMATH Keywords

parallel processes in occam

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computing methodologies and applications (68U99)

Recommendations

• Process algebra with strategic interleaving
• Prevention of deadlocks in parallel programs of multiprocessor machines
• A constructive approach to hardware/software partitioning
• scientific article; zbMATH DE number 139616
• An operational semantics of occam

Cited in

(1)

• Serialization of concurrent programs

This page was built for publication: Serialising parallel processes in a hardware/software partioning context

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