On the synchronization of traces
From MaRDI portal
Publication:4733415
DOI10.1007/BF02088296zbMath0683.68052MaRDI QIDQ4733415
Publication date: 1989
Published in: Mathematical Systems Theory (Search for Journal in Brave)
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Cites Work
This page was built for publication: On the synchronization of traces