The Journal of Logic and Algebraic Programming
Volume 78, Issue 3, February–March 2009, Pages 117-137
Processes with local and global liveness requirements
Under an Elsevier user license
open archive
Keywords
Process algebra
Liveness
Quiescence
Inequational proof system
Operational semantics
Conservative extension
Cited by (0)
Copyright © 2008 Elsevier Inc. All rights reserved.