Thread algebra for strategic interleaving

Authors	J.A. Bergstra C.A. Middelburg
Publication date	2007
Journal	Formal Aspects of Computing
Volume | Issue number	19
Pages (from-to)	445-474
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	Article
Note	SSE7
Published at	https://doi.org/10.1007/s00165-007-0024-9
Permalink to this page