1875 search results - page 195 / 375 » A Calculus of Broadcasting Systems |
156
click to vote
LOPSTR
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we will present a formal framework, based on the notion of extraction calculus, which has been successfully applied to define procedures for extracting information fr...
138
click to vote
ENTCS
2008
15 years 4 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
128
Voted
ENTCS
2008
15 years 4 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
114
click to vote
ENTCS
2006
15 years 3 months ago
2006
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
127
click to vote
PR
2007
15 years 3 months ago
2007
This article presents the design of a new functional 2D image segmentation algorithm by cell merging in a subdivision, its proof of total correctness, and the derivation of an opt...