Search Sciweavers | Sciweavers

In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...

C. T. H. Everaars, Barry Koren, Farhad Arbab

claim paper

Read More »

156

click to vote

ISORC
1998
IEEE

132views Distributed And Parallel Com...» more ISORC 1998»

Compositional Specification and Structured Verification of Hybrid Systems in cTLA

15 years 10 months ago

Download www.item.ntnu.no

Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...

Peter Herrmann, Günter Graw, Heiko Krumm

claim paper

Read More »

140

click to vote

ICALP
2010
Springer

117views Programming Languages» more ICALP 2010»

The Compositional Structure of Multipartite Quantum Entanglement

15 years 8 months ago