activity
20082018
most citedA sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices

1 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 1 filter

cs.LO2013

Network algebra for synchronous dataflow

J. A. Bergstra, C. A. Middelburg, Gh. Stefanescu

We develop an algebraic theory of synchronous dataflow networks. First, a basic algebraic theory of networks, called BNA (Basic Network Algebra), is introduced. This theory capture…