How to Parallelize sequential processes

DOI10.1007/3-540-63141-0_21zbMath1512.68170OpenAlexW1550747892MaRDI QIDQ6044125

No author found.

Publication date: 17 May 2023

Published in: CONCUR '97: Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63141-0_21

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

The regular viewpoint on PA-processes ⋮ Decidable first-order transition logics for PA-processes

Cites Work

• Unique decomposition of processes
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: How to Parallelize sequential processes