1788 search results - page 2 / 358 » Model Theory for Process Algebra |
CORR
2007
Springer
13 years 5 months ago
2007
Springer
Abstract—This paper presents a systematic methodology to derive and classify fast algorithms for linear transforms. The approach is based on the algebraic signal processing theor...
SIP
2001
13 years 6 months ago
2001
The paper presents basic concepts of the discrete system theory from the viewpoint of Banach algebras and shows that some Banach algebras of sequences are not only suitable mathem...
CAI
2009
Springer
13 years 12 months ago
2009
Springer
This tutorial provides an overview of the process algebra ACP.
BIRTHDAY
2000
Springer
13 years 9 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
FMSD
2006
13 years 5 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...