Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
From MaRDI portal
Publication:5429310
DOI10.1007/11589976_17zbMath1137.68454OpenAlexW1503158842MaRDI QIDQ5429310
Publication date: 29 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/inria-00070342/file/RR-5666.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Translating FSP into LOTOS and networks of automata ⋮ On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP ⋮ Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
Uses Software
This page was built for publication: Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
