All Outputs (3)

The weakest specifunction (2005)
Journal Article
Chen, Y., & Sanders, J. (2005). The weakest specifunction. Acta Informatica, 41(7-8), 383-414. https://doi.org/10.1007/s00236-005-0163-5

The weakest specifunction has been introduced to generalise the notions of weakest prespecification and weakest parallel environment. It calculates the weakest specification function whose value refines the target specification when applied to a give... Read More about The weakest specifunction.

A fixpoint theory for non-monotonic parallelism (2003)
Journal Article
Chen, Y. (2003). A fixpoint theory for non-monotonic parallelism. Theoretical Computer Science, 308(1-3), 367-392. https://doi.org/10.1016/s0304-3975%2802%2900893-9

This paper studies parallel recursion. The trace specification language used in this paper incorporates sequentiality, nondeterminism, reactiveness (including infinite traces), three forms of parallelism (including conjunctive, fair-interleaving and... Read More about A fixpoint theory for non-monotonic parallelism.

Generic composition (2002)
Journal Article
Chen, Y. (2002). Generic composition. Formal aspects of computing (Internet), 14(2), 108-122. https://doi.org/10.1007/s001650200031

This paper presents a technique called {\em generic composition} to provide a uniform basis for modal operators, sequential composition, different kinds of parallel compositions and various healthiness conditions appearing in a variety of semantic th... Read More about Generic composition.