Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations, 1995. ,
Control Predicates are Better than Dummy Variables for Reasoning about Program Control, 1986. ,
The Temporal Logic of Actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994. ,
TLA in Pictures, Specification of Parallel Programs: Proceedings of the DIMACS Workshop, number 18 in DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp.293-307, 1994. ,
Modularity and Expressibility for Nets of Relations, 1996. ,
Étude de la sémantique de programmes parallèles « réels ,
, Also CRIN reports 96-T-214 (french) and 97-R-125 (english, vol.7, 1996.
The Denotational Semantics of Programming Languages, Communications of the ACM, vol.19, issue.8, pp.437-453, 1976. ,