Jean-Raymond Gagné

According to our database, Jean-Raymond Gagné authored at least 3 papers between 1985 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

The Non-Standard Semantics of Esterel.

Jean-Raymond Gagné, John Plaice

Proceedings of the Advances in Computing Science, 1997

1996

A Non-Standard Temporal Deductive Database System.

Jean-Raymond Gagné, John Plaice

J. Symb. Comput., 1996

1985

Strongest Invariant Functions: Their Use in the Systematic Analysis of While Statements.

Ali Mili, Jules Desharnais, Jean-Raymond Gagné

Acta Informatica, 1985