A simple fixpoint argument without the restriction to continuity

Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

Theoretical Computer Science

Refinement Semantics and Loop Rules

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II

A Fixpoint Theory for Non-monotonic Parallelism

CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic

A fixpoint theory for non-monotonic parallelism

Theoretical Computer Science

Term transformers: A new approach to state

ACM Transactions on Programming Languages and Systems (TOPLAS)

A self-stabilizing algorithm for finding a minimal positive influence dominating set in social networks

ADC '13 Proceedings of the Twenty-Fourth Australasian Database Conference - Volume 137