Publication
-
May 1998
-
Connecting informal and formal mathematics Dissertation
Specification and Analysis of Embedded SystemsMay 1998 -
June 1998
-
Primes in several classes of the positive matrices Article
Linear Algebra and its Applications, 277(1-3), 149-185.June 1998 -
Randomness is hard In Proceedings
June 1998 -
Reusable coordinator modules for massively concurrent applications Article
Software: Practice and Experience, 28(7), 703-735.July 1998 -
Coordination languages for parallel programming Article
Parallel Computing, 24(7), 989-1004.July 1998
-
Using coordination to parallelize sparse-grid methods for 3-D CFD problems Article
Parallel Computing, 24(7), 1081-1106.July 1998