Denotational semantics for thread algebra
Author:
- Thuy Duong VuTVThuy Duong Vu
- 1 January 2008
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 74 (2) , 94-111
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Concurrency and automata on infinite sequences2005
- Polarized process algebra with reactive compositionTheoretical Computer Science, 2005
- Program algebra for sequential codeThe Journal of Logic and Algebraic Programming, 2002
- The connection between initial and unique solutions of domain equations in the partial order and metric approachFormal Aspects of Computing, 1997
- Process algebra for synchronous communicationInformation and Control, 1984
- Processes and the denotational semantics of concurrencyInformation and Control, 1982