7109 search results - page 372 / 1422 » Process Algebra with Combinators |
172
click to vote
DDECS
2008
IEEE
16 years 1 months ago
2008
IEEE
: We propose a simple and fast two-level minimization algorithm for completely specified functions in this paper. The algorithm is based on processing ternary trees. A ternary tree...
191
click to vote
B
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
197
Voted
IEEEARES
2006
IEEE
16 years 23 days ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
180
click to vote
DEXA
2004
Springer
16 years 3 days ago
2004
Springer
Data cleaning deals with the detection and removal of errors and inconsistencies in data, gathered from distributed sources. This process is essential for drawing correct conclusio...
250
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...