Pages that link to "Item:Q5429310"
From MaRDI portal
The following pages link to Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (Q5429310):
Displaying 3 items.
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- Reflections on the future of concurrency theory in general and process calculi in particular (Q2870196) (← links)