1875 search results - page 195 / 375 » A Calculus of Broadcasting Systems |
129
click to vote
LOPSTR
2000
Springer
15 years 4 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...
108
Voted
ENTCS
2008
15 years 28 days 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...
99
Voted
ENTCS
2008
15 years 28 days 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 ...
83
Voted
ENTCS
2006
15 years 26 days 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...
98
Voted
PR
2007
15 years 11 days 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...